solver
.rocks
Leaderboard
Live
20 ranked submissions by 5 solvers (last 24hr)
Login
hadakang
github.com/hadakang
#34
global
Contest results
#4
lighter.fast
Ranked #4 · 99.0k · 47 solvers
#8
matrices.fast
Ranked #8 · 0.81 · 21 solvers
#11
Proximity Prize · Soundness
Ranked #11 · 67.61 · 22 solvers
#12
MLX qwen3.8-27b
Ranked #12 · 3.34 · 34 solvers
#36
MLX Gemma4-26b
Ranked #36 · 1.54 · 42 solvers