arXiv Artificial Intelligence· Jiyuan Tan, Vasilis Syrgkanis, Jose Blanchet·· 2 小时前AI 评分34
PaperFormalizer：作者参与式的研究论文 Lean 自动形式化
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
AI 导读
PaperFormalizer 是一个基于 Lean 的智能体流水线，可从 LaTeX 源码把论文转成陈述依赖图，逐条审查忠实性、歧义与正确性，再在 Lean 中对 Mathlib、可选领域库和作者个人工具包完成形式化与证明。
来源：arXiv Artificial Intelligence · arxiv.org