Solving Inequality Proofs with Large Language Models
用大语言模型解决不等式证明
机构 * Stanford University(斯坦福大学) ; UC Berkeley(伯克利大学) ; Massachusetts Institute of Technology(麻省理工学院)
专题命中 评测与基准 :large language model(title,abstract);language model(title,abstract);LLM(abstract);分类 cs.CL、cs.AI、cs.LG
AI总结 本文提出了一种非正式但可验证的任务公式化方法,通过IneqMath数据集和LLM-as-judge评估框架,揭示了大语言模型在解决不等式证明任务中的局限性及改进方向。
Comments 50 pages, 24 figures, accepted as a Spotlight at NeurIPS 2025