m-a-p/OProver-8B-Base
Text Generation • 8B • Updated • 19
OProver
-
-
m-a-p/OProver-32B-Base
Text Generation • 33B • Updated • 22 -
m-a-p/OProver-8B
8B • Updated • 20 -
m-a-p/OProver-32B
Text Generation • 33B • Updated • 17 -
m-a-p/OProver-8B-Round1
Text Generation • 8B • Updated • 18 -
m-a-p/OProver-8B-Round2
Text Generation • 8B • Updated • 19 -
m-a-p/OProver-32B-Round1
Text Generation • 33B • Updated • 16 -
m-a-p/OProofs
Viewer • Updated • 6.8M • 29 -
OProver: A Unified Framework for Agentic Formal Theorem Proving
Paper • 2605.17283 • Published • 28