From Solver Feedback to Faithful Plans: Multi-Role Reinforcement Learning for Symbolic Planning.

arXiv:2608.21897v2 Announce Type: replace Abstract: Reliable planning requires converting natural-language instructions into executable symbolic specifications, yet large language models remain brittle without costly PDDL annotations and may exploit solver suc