Wesum AI

OProver-8B

模型

M-A-P开源的8B参数量定理证明模型，全部五项评测超越Goedel-Prover-V2-32B

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

关系图谱

关系 (2)

竞争 (1)

Goedel-Prover-V2-32B

使用技术 (1)

OProofs

相关文章 (1)