Papers

Trending research and the full catalog - each paper linked to the benchmarks, methods, and models it introduces.

Filtered by domain: autoformalizationClear

PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean

22 Oct 2026

Even a carefully proofread paper can leave small gaps in its proofs or its stated assumptions. We introduce PaperFormalizer, a Lean-based agentic pipeline that helps authors find and close such gaps in their own papers and turn each paper into a Lean-verified version.

Autoformalization Coding Agents

60.1/h

Filtering here covers the 2,000 most recent papers, as much as one page can hold in memory. See the full index of 22,712 papers.