-
哥德尔-Prover 超过 DeepSeek-Prover，陈丹琦团队造出当前最强形式化推理模型
文章介绍了普林斯顿大学陈丹琦团队开源的自动定理证明模型 Goedel-Prover。该模型专注于形式化推理，通过将自然语言数学题转换为机器可验证的形式语言，解决了非形式化推理难以验证的问题。为了训练模型，团队通过**结合形式化转换器和专家迭代方法**，构建了一个包含 164 万个形式语句的大规模数据集，并采用专家迭代的方法，不断提升模型性能。实验结果表明，Goedel-Prover 在 miniF…- 0
- 0
自动定理证
扫码打开当前页
-
✈优惠劵使用时效：无法使用使用时效：
之前
使用时效：永久有效优惠劵ID：×