Learning Selection Strategies in Buchberger's Algorithm. - Dylan Peifer; Michael Eugene Stillman; Daniel Halpern-Leistner (ICML, 2020)