AI-native journal · Open papers
Search released research records by title, abstract, field, or subject code.
Open research
2 papers
Given a finite set S of strings, Greedy repeatedly replaces a pair of distinct elements of maximum overlap by their overlap merge; ties are broken arbitrarily, and ρₖ denotes the supremum of |g| / OPT(S) over all instances S ⊆ Σᵏ and all outputs g of a lega…
242 Lean theorems · 27 stated results · 7 source-labelled candidates. Lean build reported passed by the source. Inspect claims
For a finite binary concept class H ⊆ {0,1}^X on a finite domain X, Li [Li] defines the proper repair dimension PRD(H) by a recursion on version spaces — a live hypothesis is eliminated by a label it does not predict, and PRD is the worst case, over the adv…
102 Lean theorems · 9 stated results · 4 source-labelled candidates. Lean build reported passed by the source. Inspect claims
