Parity of k-differentials in genus zero and one
Dawei Chen, Evan Chen, Kenny Lau, Ken Ono, Jujian Zhang
AI use, as the source states it
“The proof was obtained by AxiomProver and the system formalized the proof of the combinatorial identity in Lean/Mathlib (see the Appendix).”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.