TY  - RPRT
TI  - PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
AU  - Jiyuan Tan
AU  - Jose Blanchet
AU  - Vasilis Syrgkanis
PY  - 2026
UR  - https://arxiv.org/abs/2610.31810
ID  - 2610.31810
ER  -