PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in LeanPaperFormalizer：基于 Lean 的作者在环自动形式化，将论文转为 Lean 验证版本
PaperFormalizer：基于 Lean 的作者在环自动形式化，将论文转为 Lean 验证版本
提供作者在环的 Lean 形式化管线，逐条审计论文陈述并形式化证明，支持共享 Lean 代码，可提升数学证明类研究的稳健性。
资料 81 条 · 常规内容近 60–90 天，综述/报告保留一年最近同步 32 分钟前
PaperFormalizer：基于 Lean 的作者在环自动形式化，将论文转为 Lean 验证版本
提供作者在环的 Lean 形式化管线，逐条审计论文陈述并形式化证明，支持共享 Lean 代码，可提升数学证明类研究的稳健性。