TY  - RPRT
TI  - Learning selection strategies in Buchberger's algorithm
AU  - Dylan Peifer
AU  - Michael Stillman
AU  - Daniel Halpern-Leistner
PY  - 2020
UR  - https://arxiv.org/abs/2005.01917
ID  - 2005.01917
ER  -