A. Mensfelt, D. Tena Cucala, S. Franco, A. Koutsoukou-Argyraki, V. Trencsenyi, and K. Stathis, “Towards a Common Framework for Autoformalization”, AAAI, vol. 40, no. 48, pp. 40971–40980, Mar. 2026.