09:21
官方一手arXiv: DeepSeek@Rui Zou, Yutao Zhu, Mengqi Wei, Ji-Rong Wen
推荐理由：这篇论文搞了个AMTFV，把数学验证拆成流程和计算两步，比直接写验证程序更稳，在多个模型上最高涨了8.3个点。
AMTFV
共 1 条相关 AI 资讯
8月3日
09:21
AMTFV提出将数学验证建模与具体执行解耦，通过数学工具流接口支持精确计算。该方法先让验证智能体构建工作流，再用工具代理执行精确计算，最后辅助答案判定与修正。在DeepSeek、GPT和Gemini的七种模型配置上评估五个数学推理数据集，AMTFV总体优于基线。相比最强基线，单个模型配置下平均准确率最高提升8.3个百分点，中等和高等验证复杂度样本上提升更大。