PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
arXiv:2610.31810v1 Announce Type: new Abstract: 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-…
Read the full story at arXiv cs.AI ↗
Timeline · 1 report
- 2026-10-26 04:00 · arXiv cs.AI
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean