2026
NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
AAAI 2026technical
Cognitive computing models offer a formal and interpretable way to characterize human
1 accepted papers
Cognitive computing models offer a formal and interpretable way to characterize human