OProver-32B

模型

M-A-P全开源的32B数学定理证明模型，在Lean 4定理证明五项评测中全面超越671B模型

1 次提及7 个连接首次出现: 2026-06-09最近出现: 2026-06-09

关系图谱

关系 (7)

使用技术 (5)

检索增强编译器反馈 Supervised Fine-Tuning Chain-of-Thought OProofs

竞争 (2)

DeepSeek-Prover-V2 LongCat-Flash-Prover

相关文章 (1)