arXiv cs.AI· Jiyuan Tan, Vasilis Syrgkanis, Jose Blanchet·· 3 小时前AI 评分40
PaperFormalizer：作者参与的 Lean 论文自动形式化流水线
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
AI 导读
PaperFormalizer 是一套基于 Lean 的智能体流水线，从 LaTeX 源码出发把论文转成陈述依赖图，用自然语言审查每条陈述的忠实性、歧义与正确性，再对齐 Mathlib 及领域库、个人工具包完成 Lean 形式化与证明。
来源：arXiv cs.AI · arxiv.org