Sudoku solving on Ultra Sudoku 25x25 SMT-Solvers (test)
0FSR (Success Rate)SE-RRM
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SE-RRMTraining Data=9x9 Sudoku, Inference Steps=16, Evaluation protocol=Zero-shot extrapolation2026.03 | 0 | 31.49 |
Loading the SOTA2 catalog…