m-a-p/OProver-8B-Base
Text Generation • 8B • Updated • 47 • 1
OProver
-
-
m-a-p/OProver-32B-Base
Text Generation • 33B • Updated • 118 -
m-a-p/OProver-8B
8B • Updated • 526 -
m-a-p/OProver-32B
Text Generation • 33B • Updated • 440 -
m-a-p/OProver-8B-Round1
Text Generation • 8B • Updated • 49 -
m-a-p/OProver-8B-Round2
Text Generation • 8B • Updated • 71 -
m-a-p/OProver-32B-Round1
Text Generation • 33B • Updated • 76 -
m-a-p/OProofs
Viewer • Updated • 6.8M • 780 -
OProver: A Unified Framework for Agentic Formal Theorem Proving
Paper • 2605.17283 • Published • 31