The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale. - Matthew Bolan; Joachim Breitner; Jose Brox; Nicholas Carlini; Mario Carneiro; Floris van Doorn; Martin Dvorak; Andrés Goens; Aaron Hill; Harald Husum; Hernán Ibarra Mejia; Zoltan A. Kocsis; et al. (CoRR, 2025)

Mapping Uncharted Symmetries: Machine Discovery in Combinatorics. - Eugenio Cainelli; Lorenzo Luccioli; Alessandro Iraci; Michele D'Adderio; Giovanni Paolini (CoRR, 2026)