Planning anything with rigor: general-purpose zero-shot planning with llm-based formalized programming

Best AI papers explained - Planning anything with rigor: general-purpose zero-shot planning with llm-based formalized programming