DENG, Zihao; LI, Yijia; ZHANG, Renrui; YE, Peijun. NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 40, n. 3, p. 1766–1773, 2026. DOI: 10.1609/aaai.v40i3.37155. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/37155. Acesso em: 15 may. 2026.