BriefGPT - AI 论文速递 · 2025-02-18T00:00:00Z Theorem Prover as a Judge for Synthetic Data Generation 💡 原文英文，约100词，阅读约需1分钟。 📝 内容提要 本研究探讨了合成数据生成在数学推理中的有效性，提出了一种迭代自动形式化的方法，利用定理证明器作为评判者，显著提高了大型语言模型的准确性，最高提升达6.00%。 🏷️ 标签 准确性提升 合成数据 大型语言模型 定理证明器 数学推理 阅读原文 生成长图 分享链接 已复制链接
