ML Anthology

Ge, Ning

1 publications

ICLR 2025 Learning Splitting Heuristics in Divide-and-Conquer SAT Solvers with Reinforcement Learning Shumao Zhai, Ning Ge