Mensfelt, A.; Tena Cucala, D.; Franco, S.; Koutsoukou-Argyraki, A.; Trencsenyi, V.; Stathis, K. Towards a Common Framework for Autoformalization. AAAI 2026, 40, 40971-40980.