Formalized q-series: The Rogers-Ramanujan Identities and Beyond
Kenny Lau, Seewoo Lee, Ken Ono
AI use, as the source states it
“AxiomProver was used to produce the formalizations in this paper.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.