NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework.

Zihao Deng, Yijia Li, Renrui Zhang, Peijun Ye

Browse the full AAAI paper archive.