TY  - RPRT
TI  - Provably Complete Generalized Planning with LLMs
AU  - Katharina Stein
AU  - Chaahat Jain
AU  - Jörg Hoffmann
AU  - Alexander Koller
PY  - 2026
UR  - https://arxiv.org/abs/2609.27105
ID  - 2609.27105
ER  -