Learning Selection Strategies in Buchberger’s Algorithm

ICML 2020