Showing 2026Show all
3 papers · 1 filter
math.NT2026
The Mathieu group is a Galois group over
Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee +3
Researchers studying the inverse Galois problem realized 25 of the 26 sporadic finite simple groups as Galois groups over during 1984-1989. We complete this program by…
cs.LG2026
Discovering a Zeta Map Algorithm on Dyck Paths via Mechanistic Interpretability
Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee
Machine learning is increasingly used in mathematical discovery, but in mathematics the desired output is often not a prediction itself, but an explicit construction that can be ch…
cs.LO2026
Lean-GAP: A Dataset of Formalized Graduate Algebra Problems
Seewoo Lee, Byung-Hak Hwang, Hyojae Lim +10
We present Lean-GAP (Lean-Graduate Agebra Problems), 430 formalized graduate-level algebra problems from the textbook Abstract Algebra by Dummit and Foote. We develop a scalable pi…