MMODELYST
People/Gergely Bérczi
PPL

Gergely Bérczi

Papers (3)
Real-rootedness of the Poincaré polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proofPositivity in classical enumerative geometry: a case study in synchronized AI-assisted mathematicsAdvancing Mathematics Research with AI-Driven Formal Proof Search