A bijective proof of a partition theorem of Berkovich and Uncu
Michal Mogielnicki, Ken Ono, Niels Voss, Jujian Zhang
AI use, as the source states it
“AxiomProver autonomously formalized and verified the proof of the main theorem in Lean.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.