Property-Guided LLM Program Synthesis for Planning

In three linesProperty-guided program synthesis approach reduces LLM costs by replacing simple numeric scores with formal property verification. When a property is violated, the system provides concrete counterexamples to guide repair. On PDDL planning domains, this method generates 7× fewer programs and drastically reduces evaluation costs while improving solution quality.

Summary generated by Claude — human-verified