Mensfelt, Agnieszka, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, and Kostas Stathis. 2026. “Towards a Common Framework for Autoformalization”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (48):40971-80. https://doi.org/10.1609/aaai.v40i48.42132.