Mensfelt, A., Tena Cucala, D., Franco, S., Koutsoukou-Argyraki, A., Trencsenyi, V., & Stathis, K. (2026). Towards a Common Framework for Autoformalization. Proceedings of the AAAI Conference on Artificial Intelligence, 40(48), 40971–40980. https://doi.org/10.1609/aaai.v40i48.42132