Mathematical Tool Flow

新的AMTFV系统通过工具流接口增强LLM数学验证能力

研究人员开发了AMTFV，一个用于验证大型语言模型生成数学答案的新颖系统。AMTFV利用数学工具流（MTF）接口将验证建模与执行分离，通过数学工具箱实现精确计算。这种方法允许一个验证代理构建工作流，向工具箱代理发送请求进行精确计算，然后利用结果来裁决、修改或完善答案和工作流。在DeepSeek、GPT和Gemini模型在五个数据集上的实验表明，AMTFV显著提高了准确性，优于现有方法，尤其是在复杂的验证任务上。