Deng, Z.; Li, Y.; Zhang, R.; Ye, P. NL2CA: Auto-Formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework. AAAI 2026, 40, 1766-1773.