★ 3
PaperFormalizer 推出 Lean 论文形式化作者在环流水线
研究团队发布 PaperFormalizer，一个基于 Lean 的智能体流水线，从 LaTeX 源码出发将论文转写为陈述依赖图，审计忠实性与歧义，再在 Mathlib 上形式化并证明。流水线在陈述存在多种解读时暂停询问作者，输出带注释的修订版论文、变更报告与 Lean 代码，可运行于 Claud…
arXiv cs.AI7 天前
共 2 篇相关资讯，按重要度与时间排序，每 3 小时更新。
研究团队发布 PaperFormalizer，一个基于 Lean 的智能体流水线，从 LaTeX 源码出发将论文转写为陈述依赖图，审计忠实性与歧义，再在 Mathlib 上形式化并证明。流水线在陈述存在多种解读时暂停询问作者，输出带注释的修订版论文、变更报告与 Lean 代码，可运行于 Claud…
论文提出 RoundtableReview，将论文拆为八个语义槽位，协调六位视角互补的学术与产业评审智能体，通过独立评估、交叉质询、圆桌讨论与加权投票生成可追溯反馈。在两个自动研究骨干模型上，该方法以更少评论量提升了论文质量，并在自动与人工评测中优于基线。