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

Source: https://arxiv.org/abs/2610.31810
Published: 2026-10-22
Status: unreviewed source report

## Source excerpt (up to 25 words)

> 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

## Review question

Inspect the formal statement, imported axioms, admitted lemmas, checker version and correspondence with the informal theorem. A successful compiler exit alone does not prove that the intended question was formalized.

No independent proof check or claim of peer review.