Provably complete generalized planning with LLMs
Read the original at arxiv.org→arXiv:2609.27105v1 Announce Type: new Abstract: Generalized planning aims to compute a plan that solves all instances of a planning domain. Recent work has used LLMs to automatically generate and debug such...
Original headline: "Provably Complete Generalized Planning with LLMs"
Coverage timeline
- Sep 24, 04:00 UTC arXiv cs.AI lead source Provably Complete Generalized Planning with LLMs