Zero-free columns in character tables of symmetric groups
Colin Defant, Sidharth Hariharan, Kenny Lau, Ken Ono
AI use, as the source states it
“AxiomProver formalized the results in this paper in Lean assuming preexisting literature.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.