简介:

Goedel-Prover 是一款开源的自动化定理证明模型,专注于数学问题的形式化证明。

功能:

将自然语言数学问题翻译为形式化语言(Lean 4)

生成高质量的形式化证明

支持多数据集的性能评估

提供开源模型和数据集,便于研究和扩展

在多个基准测试中表现优异,如 miniF2F 和 PutnamBench

支持多 GPU 并行推理,提升计算效率

需求人群:

"Goedel-Prover 适合数学家、计算机科学家、研究人员以及对自动化定理证明感兴趣的开发者。它为数学研究、教育和相关领域的自动化证明提供了强大的技术支持。"

浏览量:12

s1785318098921236

打开站点

构建AI去赚钱
s1785341518918206
类似产品

© 2025     AIbase    备案号:闽ICP备08105208号-14

隐私政策

用户协议

意见反馈 网站地图