3 citations · 3 across the 2 of their papers we have counts for
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 fa…
cs.AI2024★ 3 cited
Formal Mathematical Reasoning: A New Frontier in AI
Kaiyu Yang, Gabriel Poesia, Jingxuan He +4
AI for Mathematics (AI4Math) is not only intriguing intellectually but also crucial for AI-driven discovery in science, engineering, and beyond. Extensive efforts on AI4Math have m…