Gloeckle, F., Rammal, A., Arnal, C., Munos, R., Cabannes, V., Synnaeve, G., & Hayat, A. (2026). Automatic Textbook Formalization.
Chicago Style (17th ed.) CitationGloeckle, Fabian, Ahmad Rammal, Charles Arnal, Remi Munos, Vivien Cabannes, Gabriel Synnaeve, and Amaury Hayat. Automatic Textbook Formalization. 2026.
MLA (9th ed.) CitationGloeckle, Fabian, et al. Automatic Textbook Formalization. 2026.
Warning: These citations may not always be 100% accurate.