Deng Z, Li Y, Zhang R, Ye P. NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework. AAAI [Internet]. 2026 Mar. 14 [cited 2026 May 15];40(3):1766-73. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/37155