MUSTARD生成高质量数学推理数据

研究人员开发了一种名为MUSTARD的新框架，能自动化合成高质量数学推理数据，解决了人工标注的难题。通过形式化证明器验证，该框架生成的数据在提升语言模型的数学推理能力方面效果显著，为AI在解决数学问题上提供了新途径。
来源：https://mp.weixin.qq.com/s/-mVe7ztpAmT71Gf8iDAYhA