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 |
| Method | Links | ||
|---|---|---|---|
| SE-RRMTraining Data=9x9 Sudoku, Inference Steps=16, Evaluation protocol=Zero-shot extrapolation2026.03 | 0 | 31.49 |