Incremental Forward Reasoning for White-Box Proof Search
To appear in TACAS 2026, 2025
Joint work with Jannis Limperg
Recommended citation: Jannis Limperg and Xavier Généreux, Incremental Forward Reasoning for White-Box Proof Search, 2025,
Publications
On the Northcott property of Dedekind zeta functions
Published in The Ramanujan Journal, 2024
Joint work with Matilde Lalín
Recommended citation: Généreux, Xavier, and Matilde Lalín. "On the Northcott property of Dedekind zeta functions", Ramanujan J. 63 (2024), no. 4, 1135--1178. https://link.springer.com/article/10.1007/s11139-023-00809-y
On the Northcott property of zeta functions over function fields
Published in Finite Fields and Their Applications, 2022
Joint work with Matilde Lalín and Wanlin Li
Recommended citation: 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, https://www.sciencedirect.com/science/article/abs/pii/S1071579722000892