Complexity of counting points on curves and the factor P1(T) of the zeta function of surfaces. - Diptajit Roy; Nitin Saxena 001; Madhavan Venkatesh (CoRR, 2025)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic. - Piotr Bacik; Joris Nieuwveld; Joël Ouaknine; Mihir Vahanwala; Madhavan Venkatesh; Emil Rugaard Wieser (CoRR, 2026)