@misc{indiciaef6b9837efc83,
  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},
  url = {https://arxiv.org/abs/2512.18189},
  note = {Source identifier: 2512.18189}
}