Provably Complete Generalized Planning with LLMs
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 generalized plans in the form of Python programs and achieved perfect test data coverage for…
Read the full story at arXiv cs.AI ↗
Timeline · 1 report
- 2026-09-24 04:00 · arXiv cs.AI
Provably Complete Generalized Planning with LLMs