Deng, Zihao, Yijia Li, Renrui Zhang, and Peijun Ye. 2026. “NL2CA: Auto-Formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (3):1766-73. https://doi.org/10.1609/aaai.v40i3.37155.