TY  - RPRT
TI  - NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
AU  - Zihao Deng
AU  - Yijia Li
AU  - Renrui Zhang
AU  - Peijun Ye
PY  - 2025
UR  - https://arxiv.org/abs/2512.18189
ID  - 2512.18189
ER  -