Machine-Assisted Proofs (ICM 2018 Panel). - James H. Davenport; Bjorn Poonen; James Maynard 001; Harald Helfgott; Pham Huu Tiep; Luís Cruz-Filipe (CoRR, 2018)

Skolem Meets Bateman-Horn. - Florian Luca; James Maynard 001; Armand Noubissie; Joël Ouaknine; James Worrell 001 (CoRR, 2023)