Click here for pdf.
Xavier Généreux, Matilde Lalín, Wanlin Li, On the Northcott property of zeta functions over function fields, Finite Fields and Their Applications, Volume 83, 2022, 102080, ISSN 1071-5797,
Généreux, Xavier, and Matilde Lalín. "On the Northcott property of Dedekind zeta functions", Ramanujan J. 63 (2024), no. 4, 1135--1178.
Jannis Limperg and Xavier Généreux, Incremental Forward Reasoning for White-Box Proof Search, 2025,
Talk at Clubmath de l’Université de Montréal., Montréal QC, CAN
Talk at MOBIUS Analytic Number Theory, Montréal QC, CAN
Talk at Québec-Maine conference for number theory, Québec QC, CAN
Talk at Lean Together,
Talk at Leaning In! 2025, Berlin, DE