Announcement
Lattice Deduction Transformers accepted at NeurIPS
The team says its 800,000-parameter looped transformer reasons like a SAT solver and achieved 100% on Sudoku-Extreme with 15 minutes of training.
TLDR
The Lattice Deduction Transformers team says its work has been accepted at NeurIPS and that it is preparing an improved revision of the paper. In its earlier introduction, the team described a model that reasons like a SAT solver and claimed it achieved 100% on Sudoku-Extreme with 15 minutes of training.
Combined views
—
2 Sources, first seen ago
