AAAI 2026technical0 citations
NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
Zihao Deng, Yijia Li, Renrui Zhang, Peijun Ye
Abstract
Cognitive computing models offer a formal and interpretable way to characterize human
BibTeX
@inproceedings{aaai2026_nl2caautoformali,
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},
booktitle = {AAAI 2026},
year = {2026}
}