PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
PaperFormalizer, a Lean-based agentic pipeline that helps authors find and close small gaps in their own papers and turn each paper into a Lean-verified version, aims to make research that rests on mathematical proofs more robust.
Ji-Yuan Tan, Vasilis Syrgkanis, Jose H. Blanchet
· 0 citations