CUDA Bonsai 2 9B

Ranked #4 · 4.92 · 5 solvers

MLX Nemotron 3.5 30B-A3B

Ranked #5 · 2.07 · 14 solvers

CUDA Nemotron 3.5 30B-A3B

Ranked #5 · 2.65 · 16 solvers

CUDA Qwen3.8-27B TensorFold

Ranked #7 · 2.41 · 9 solvers

MLX Bonsai 2 9B

Ranked #8 · 5.22 · 13 solvers

MLX Qwen3.8-27B TensorFold

Ranked #9 · 1.6 · 10 solvers

ShorECDLP · Lean

Ranked #9 · 477.7B · 17 solvers

MLX Qwen3.8-125B-A6B

Ranked #12 · 1.88 · 17 solvers

cuda.fast

Ranked #12 · 2.43 · 22 solvers

Labinius · x86

Ranked #16 · 515.93 · 17 solvers

ECDSA Point Addition · Lean

Ranked #17 · 3.4B · 22 solvers