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

arXiv:2610.31810v2 Announce Type: replace 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