From the 1 of 14 linked papers with an AI index.
14 papers
Decision trees, Frobenius traces, and Weierstrass coefficients of elliptic curves
Barinder S. Banwait, Xiaoyu Huang, Kyu-Hwan Lee +3
We investigate the extent to which the reduced minimal Weierstrass coefficients of an elliptic curve over may be computed from it's Frobenius traces. Decision tree mod…
Formalized -series: The Rogers-Ramanujan Identities and Beyond
Kenny Lau, Seewoo Lee, Ken Ono
The paper develops a formalization of q‑series theory in the Lean proof assistant, building foundational structures like q‑Pochhammer symbols and Bailey's Lemma, and provides fully…
Fel's Conjecture on Syzygies of Numerical Semigroups
Evan Chen, Chris Cummins, GSM +18
Let be a numerical semigroup and its semigroup ring. The Hilbert numerator of determines normalized alternating syzygy power sums $K_…
Progress in Formalizing Sphere Packing in Dimension 8
Sidharth Hariharan, Christopher Birkbeck, Seewoo Lee +4
In 2016, Viazovska famously solved the sphere packing problem in dimension , using modular forms to construct a 'magic' function satisfying optimality conditions determined by C…
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…
Machines Learn Number Fields, But How? The Case of Galois Groups
Kyu-Hwan Lee, Seewoo Lee
By applying interpretable machine learning methods such as decision trees, we study how simple models can classify the Galois groups of Galois extensions over of degre…