Mensfelt, A. (2026) “Towards a Common Framework for Autoformalization”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(48), pp. 40971–40980. doi: 10.1609/aaai.v40i48.42132.