m-a-p/OProver-8B-Base
Text Generation • 8B • Updated • 39
OProver
-
-
m-a-p/OProver-32B-Base
Text Generation • 33B • Updated • 50 -
m-a-p/OProver-8B
8B • Updated • 40 -
m-a-p/OProver-32B
Text Generation • 33B • Updated • 67 -
m-a-p/OProver-8B-Round1
Text Generation • 8B • Updated • 42 -
m-a-p/OProver-8B-Round2
Text Generation • 8B • Updated • 46 -
m-a-p/OProver-32B-Round1
Text Generation • 33B • Updated • 46 -
m-a-p/OProofs
Viewer • Updated • 6.8M • 418 -
OProver: A Unified Framework for Agentic Formal Theorem Proving
Paper • 2605.17283 • Published • 30