Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools.

Yilun Hao, Yongchao Chen, Yang Zhang, Chuchu Fan

Browse the full NAACL paper archive.