@article{nl2caautoformalizingcognitivedecisionmak, title = {NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework}, author = {Zihao Deng and Yijia Li and Renrui Zhang and Peijun Ye}, year = {2025}, eprint = {2512.18189}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2512.18189}, }