TY  - RPRT
TI  - HATSolver: Learning Groebner Bases with Hierarchical Attention Transformers
AU  - Mohamed Malhou
AU  - Ludovic Perret
AU  - Kristin Lauter
PY  - 2025
UR  - https://arxiv.org/abs/2512.14722
ID  - 2512.14722
ER  -