Putnam

新框架TopoAlign利用代码提升LLM数学推理能力

研究人员推出TopoAlign，一个旨在通过利用海量代码库来增强大型语言模型（LLM）数学推理能力的新型框架。该方法通过将代码结构转化为镜像形式数学陈述的类似物，解决了正式数学语料库稀缺的问题，从而使在代码上训练的LLM能够提高其在数学自动形式化任务上的表现。在MiniF2F和Putnam等基准上的评估表明，DeepSeek-Math和Herald等模型取得了显著的进步，尤其是在形式陈述生成和类型检查等领域。