Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming.

Yilun Hao, Yang Zhang, Chuchu Fan

Browse the full ICLR paper archive.