论文研究
arxiv.org ·
@Haizhao Yang
FARMS：面向自动化计算科学的可验证知识基础
论文提出 FARMS，将计算数学整理为 AI 可解释、可复用的知识基础，通过来源准备、可复用表示和语义审查，把形式陈述与来源上下文、算法含义及定量保证关联，并用 Lean 检查推理。在随机数值线性代数和数值 PDE 的 171 个目标中 157 个被接受，平均每目标估计成本 0.85–2.29 美元。
AI推荐理由 将计算数学知识转化为 AI 可解释、可复用的形式化表示，连接形式陈述、来源上下文、算法含义与定量保证，并用 Lean 检查推理。在随机数值线性代数和数值 PDE 的 171 个目标中 157 个被流水线接受，给出每目标约 0.85–2.29 美元的成本估计，证据相对具体。局限是覆盖领域较窄，摘要未展示下游自动化科研任务的实际收益。
70
正文
当前仅保存了标题或简介；并非所有来源都提供正文，可通过下方原文链接查看。