| 1 | NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 | nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 | nvidia | 79.9 | medium | MiniF2F pass@32 |
| 2 | Nemotron-3-Nano-30B-A3B-GGUF | nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 | unsloth | 79.9 | medium | MiniF2F pass@32 |
| 3 | Nemotron-3-Nano-30B-A3B | nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 | unsloth | 79.9 | medium | MiniF2F pass@32 |
| 4 | NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-GGUF | nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 | Mungert | 79.9 | medium | MiniF2F pass@32 |
| 5 | NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 | nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 | nvidia | 50.0 | medium | MiniF2F pass@1 |
| 6 | Nemotron-3-Nano-30B-A3B-GGUF | nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 | unsloth | 50.0 | medium | MiniF2F pass@1 |
| 7 | Nemotron-3-Nano-30B-A3B | nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 | unsloth | 50.0 | medium | MiniF2F pass@1 |
| 8 | NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-GGUF | nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16 | Mungert | 50.0 | medium | MiniF2F pass@1 |
| 9 | internlm2_5-step-prover | internlm/internlm2_5-step-prover | internlm | 46.3 | high | |
| 10 | internlm2_5-step-prover-critic | internlm/internlm2_5-step-prover-critic | internlm | 46.3 | high | |
| 11 | internlm2-step-prover | internlm/internlm2-step-prover | internlm | 46.3 | high | |
| 12 | internlm2-math-plus-7b | internlm/internlm2-math-plus-7b | internlm | 43.4 | high | |
| 13 | internlm2-math-plus-20b | internlm/internlm2-math-plus-20b | internlm | 42.6 | high | |
| 14 | internlm2-math-plus-mixtral8x22b | internlm/internlm2-math-plus-mixtral8x22b | internlm | 37.3 | high | |
| 15 | DeepSeek-Prover-V1.5-RL | deepseek-ai/DeepSeek-Prover-V1.5-SFT | deepseek-ai | 26.5 | low | |
| 16 | DeepSeek-Prover-V1.5-Base | deepseek-ai/DeepSeek-Prover-V1.5-Base | deepseek-ai | 26.5 | low | |
| 17 | DeepSeek-Prover-V1.5-SFT | deepseek-ai/DeepSeek-Prover-V1.5-Base | deepseek-ai | 26.5 | low | |
| 18 | internlm2-math-plus-1_8b | internlm/internlm2-math-plus-1_8b | internlm | 26.5 | low | |
| 19 | DeepSeek-Prover-V1 | deepseek-ai/DeepSeek-Prover-V1 | deepseek-ai | 26.5 | low | |