PaperFormalizer automates Lean-based verification of research papers by turning LaTeX sources into Lean-verified versions through a dependency graph and natural-language faithfulness checks
Read the original at arxiv.org→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...
Original headline: "PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean"
Coverage timeline
- Oct 26, 04:00 UTC arXiv cs.AI lead source PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean