The Flow has not summarised this story yet — read it at Hugging Face Trending Papers.
The paper presents a positive result contrasting Gold’s theorem by showing that a learner equipped with a recursive contrast operator and a bounded-capacity InfoNCE-style scorer can achieve PAC conditional identification from positive data alone. Under a faithfulness condition, the trained scorer ranks almost all positives above any out-of-language perturbation within their orbit, with polynomial sample complexity in the operator’s capacity, orbit size, score bound, and error tolerance. The method constructs negatives internally, avoids global normalization, and extends to a membership classifier and a normalization-free Metropolis–Hastings generator, with instantiations for substitutable context‑free and subregular languages. whyItMatters":"The work demonstrates that contrastive learning can overcome classical limits on language identification by positive data, offering a concrete, sample‑efficient framework for learning structured language classes without external negative examples."
arXiv:2605. 11644v2 Announce Type: replace-cross Abstract: We study positive-data learning of languages admitting reduced working binary linear nondeleting multiple context-free grammar presentations of bounded fan-out.
arXiv:2605. 11644v3 Announce Type: replace-cross Abstract: Positive data can show that two tuple occurrences share a successful sentence context without certifying that they are safely interchangeable.
arXiv:2606. 25777v1 Announce Type: cross Abstract: We initiate a resource-aware theory of \textit{language generation in the limit} under the minimal constraint of space efficiency.
arXiv:2601.05280v4 Announce Type: replace-cross Abstract: On the one hand, the question of whether Large Language Models (LLMs) are Solomonoff induction estimators has become an explicit question at...
arXiv:2607. 12443v1 Announce Type: cross Abstract: Motivated by the power of large language models, there has been renewed interest in the Gold-Angluin model of language identification in the limit, with an eye toward variants of the model that might overcome the negative results for its original formulation.