APA (7th ed.) Citation

Rammal, A., Patel, N., Gloeckle, F., Hayat, A., Kempe, J., Munos, R., . . . Cabannes, V. (2026). Formalizing Mathematics at Scale.

Chicago Style (17th ed.) Citation

Rammal, Ahmad, Niket Patel, Fabian Gloeckle, Amaury Hayat, Julia Kempe, Remi Munos, Charles Arnal, and Vivien Cabannes. Formalizing Mathematics at Scale. 2026.

MLA (9th ed.) Citation

Rammal, Ahmad, et al. Formalizing Mathematics at Scale. 2026.