Mohamed Malhou

HATSolver: Learning Gröbner Bases with Hierarchical Attention Transformers

At NeurIPS 2024, Kera (2311.12904) introduced the use of transformers for computing Groebner bases, a central object in computer algebra with numerous practical applications. In this paper, we improve this approach by applying Hierarchical Attention Transformers (HATs) to solve systems of multivaria…