arXiv cs.AI / cs.LG 最新· Di Wu·· 19 小时前AI 评分62
FARMS 为自动化计算科学构建可验证的计算数学知识基础
FARMS: A Verifiable Foundation for Automated Computational Science
AI 导读
FARMS 提出一套把计算数学转化为 AI 可用知识的基础，通过来源整理、可复用表示和语义审阅，把形式化陈述与来源上下文、算法含义和量化保证连接起来。在随机数值线性代数和数值偏微分方程的 171 个目标中，157 个被流水线接受，各来源每个目标的平均估计成本为 US$0.85 至 2.29。
标题与摘要由 AI 辅助生成，事实与观点以原文为准。
来源：arXiv cs.AI / cs.LG 最新 · arxiv.org
本站标题、摘要与推荐理由由 AI 辅助生成；原文版权归来源所有。