Comment Comment by electricships After AlphaZero, people tried to train various combinatorial solversIIRC, they were unable to exceed Sota of SAT solvers (which admittedly are the results of decades of research)maybe we just needed bigger networks, or transformers, or just more training compute parent electricships 2 years ago
IIRC, they were unable to exceed Sota of SAT solvers (which admittedly are the results of decades of research)
maybe we just needed bigger networks, or transformers, or just more training compute