Learning a performance metric of Buchberger's algorithm. - Jelena Mojsilovic; Dylan Peifer; Sonja Petrovic (CoRR, 2021)