Local Factors in the BSD Conjecture: A Unified Statistical View
David Kurniadi Angdinata, Kenny Lau, Ken Ono, Ashvin Swaminathan, Sameera Vemulapalli
AI use, as the source states it
“The results in this paper were autoformalized in Lean by AxiomProver.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.