Add MathArena evaluation result for aime/aime_2026 (#3)

Add MathArena evaluation result for hmmt/hmmt_feb_2026 (#4)

Update README.md

Update README.md

Update README.md

Update README.md

Update README.md

Update README.md

Update README.md

Update README.md

Update README.md

Update README.md

Update README.md

Update README.md

Upload evals.png

Update README.md

Update README.md

Update README.md

Update README.md

Upload imoproofbench.png

Update README.md

Upload imoproofbench.png

Update README.md

Upload logo.png

Update README.md

Delete model-00004-of-00004.safetensors

Delete model-00003-of-00004.safetensors

Delete model-00002-of-00004.safetensors

Delete model-00001-of-00004.safetensors

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint

initial commit