Z. Deng, Y. Li, R. Zhang, and P. Ye, “NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework”, AAAI, vol. 40, no. 3, pp. 1766–1773, Mar. 2026.