Local AI Registry

Leaderboard

miniF2F

minif2f
JSON APIBack to leaderboard search

Record

Category
math
Scored models
19

Scores

ModelScore
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1679.9
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1679.9
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1679.9
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1679.9
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1650
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1650
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1650
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1650
internlm/internlm2_5-step-prover46.3
internlm/internlm2_5-step-prover-critic46.3
internlm/internlm2-step-prover46.3
internlm/internlm2-math-plus-7b43.4
internlm/internlm2-math-plus-20b42.6
internlm/internlm2-math-plus-mixtral8x22b37.3
deepseek-ai/DeepSeek-Prover-V1.5-SFT26.5
deepseek-ai/DeepSeek-Prover-V1.5-Base26.5
deepseek-ai/DeepSeek-Prover-V1.5-Base26.5
internlm/internlm2-math-plus-1_8b26.5
deepseek-ai/DeepSeek-Prover-V126.5

Remaining fields

Identity, launch, related records, and measured speed are shown above. This is the rest of the normalized record.

category
math
id
minif2f
name
miniF2F
schema version
local-ai-registry/v1

rows

variantconfcontextmodel idorgrankrootscore
NVIDIA-Nemotron-3-Nano-30B-A3B-BF16mediumMiniF2F pass@32nvidia-nemotron-3-nano-30b-a3b-bf16nvidia1nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1679.9
Nemotron-3-Nano-30B-A3B-GGUFmediumMiniF2F pass@32nvidia-nemotron-3-nano-30b-a3b-bf16unsloth2nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1679.9
Nemotron-3-Nano-30B-A3BmediumMiniF2F pass@32nvidia-nemotron-3-nano-30b-a3b-bf16unsloth3nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1679.9
NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-GGUFmediumMiniF2F pass@32nvidia-nemotron-3-nano-30b-a3b-bf16Mungert4nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1679.9
NVIDIA-Nemotron-3-Nano-30B-A3B-BF16mediumMiniF2F pass@1nvidia-nemotron-3-nano-30b-a3b-bf16nvidia5nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1650
Nemotron-3-Nano-30B-A3B-GGUFmediumMiniF2F pass@1nvidia-nemotron-3-nano-30b-a3b-bf16unsloth6nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1650
Nemotron-3-Nano-30B-A3BmediumMiniF2F pass@1nvidia-nemotron-3-nano-30b-a3b-bf16unsloth7nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1650
NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-GGUFmediumMiniF2F pass@1nvidia-nemotron-3-nano-30b-a3b-bf16Mungert8nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF1650
internlm2_5-step-proverhighminiF2F-testUnknowninternlm9internlm/internlm2_5-step-prover46.3
internlm2_5-step-prover-critichighminiF2F-testUnknowninternlm10internlm/internlm2_5-step-prover-critic46.3
internlm2-step-proverhighminiF2F-testUnknowninternlm11internlm/internlm2-step-prover46.3
internlm2-math-plus-7bhighMiniF2F-testinternlm2-math-plus-7binternlm12internlm/internlm2-math-plus-7b43.4
internlm2-math-plus-20bhighMiniF2F-testinternlm2-math-plus-20binternlm13internlm/internlm2-math-plus-20b42.6
internlm2-math-plus-mixtral8x22bhighMiniF2F-testinternlm2-math-plus-mixtral8x22binternlm14internlm/internlm2-math-plus-mixtral8x22b37.3
DeepSeek-Prover-V1.5-RLlowminiF2F-testdeepseek-prover-v1-5-sftdeepseek-ai15deepseek-ai/DeepSeek-Prover-V1.5-SFT26.5
DeepSeek-Prover-V1.5-BaselowminiF2F-testdeepseek-prover-v1-5-basedeepseek-ai16deepseek-ai/DeepSeek-Prover-V1.5-Base26.5
DeepSeek-Prover-V1.5-SFTlowminiF2F-testdeepseek-prover-v1-5-basedeepseek-ai17deepseek-ai/DeepSeek-Prover-V1.5-Base26.5
internlm2-math-plus-1_8blowMiniF2F-testinternlm2-math-plus-1-8binternlm18internlm/internlm2-math-plus-1_8b26.5
DeepSeek-Prover-V1lowminiF2F-testdeepseek-prover-v1deepseek-ai19deepseek-ai/DeepSeek-Prover-V126.5
Provenance & metadata (1)

source

kind
leaderboard-scrape
paths
benchmarks/minif2f.html, docs/notes/hf-benchmark-contexts.json