Lean Comparator

Everything Fervor AI has published that touches Lean Comparator — 1 piece, newest first.

• OpenAI's Math Repo Holds 722 Manuscripts, and Its Own Catalogue Formalizes a Fraction of Them

  Openai/math's own formalization catalogue links 162 of its 722 manuscripts to a formalized main result and marks its review status unchecked, so the right way to read…