2 papers
cs.LG2026
Discovering Lattice Reduction Strategies via Self-Play
Mohamed Malhou, Kristin Lauter, Ludovic Perret
The Lenstra-Lenstra-Lovász (LLL) algorithm is a seminal contribution to computer science used for lattice basis reduction, yet its polynomial-time outputs produce bases that are f…
cs.LG2025
HATSolver: Learning Groebner Bases with Hierarchical Attention Transformers
Mohamed Malhou, Ludovic Perret, Kristin Lauter
At NeurIPS 2024, Kera et al. introduced the use of transformers for computing Groebner bases, a central object in computer algebra with numerous practical applications. In this pap…