CUDA Bonsai 2 9B

Gold medalist · 5.21 · 5 solvers

Labinius · ARM

Ranked #7 · 337.09 · 12 solvers

CUDA Nemotron 3.5 30B-A3B

Ranked #7 · 2.41 · 16 solvers

ShorECDLP · Lean

Ranked #10 · 6.9T · 17 solvers