PapersBuilders14:16Chinese contentFARMS：把计算数学转化为可验证的 AI 知识库论文提出 FARMS 框架，把计算数学变成 Lean 验证过的 AI 知识，171 个目标里通过 157 个，单个成本不到 2.3 美元。#FARMS#Lean#数值计算#形式化验证aarXiv cs.AI@Di Wu et al. (3)SourceRead laterReadWorth followingUsefulFollow FARMS