Audited reproduction artifacts for OpenReview mI3K0e1KsN: public logbook, code/data bundle, GPU results, paper, official benchmark, and model.
-
SphereLab/FormalMATH-Lite
Viewer • Updated • 425 • 93 • 2 -
deepseek-ai/DeepSeek-Prover-V2-7B
7B • Updated • 24.2k • 148 -
Sugutt/editable-sketch-repro-results-final
Viewer • Updated • 1 • 12 -
Repro - Editable Proof Sketch for Automated Theorem Proving
🎯Create and edit proof sketches for automated theorem proving