Beyond Mock Modularity: Elliptic Corrections for Higher Dyson Ranks
Claudia Alfes, Ken Ono, Ashvin Swaminathan
AI use, as the source states it
“These results grew out of a human--AI collaboration, and the key new formulas were formalized and machine-verified in Lean/Mathlib by AxiomProver.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.