MENSFELT, Agnieszka; TENA CUCALA, David; FRANCO, Santiago; KOUTSOUKOU-ARGYRAKI, Angeliki; TRENCSENYI, Vince; STATHIS, Kostas. Towards a Common Framework for Autoformalization. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 40, n. 48, p. 40971–40980, 2026. DOI: 10.1609/aaai.v40i48.42132. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/42132. Acesso em: 28 may. 2026.