Can I read Property-Guided LLM Program Synthesis For Planning: André G. Pereira Augusto B. Corrêa Jendrik Seipp on EtoBox?

Property-Guided LLM Program Synthesis For Planning: André G. Pereira Augusto B. Corrêa Jendrik Seipp by mystorage750 is a document available to read on EtoBox.

What is Property-Guided LLM Program Synthesis For Planning: André G. Pereira Augusto B. Corrêa Jendrik Seipp about?

The document presents a novel approach to program synthesis using property-guided large language models (LLMs) that improves efficiency and quality by leveraging counterexample-driven feedback. This method reduces the number of candidate programs generated and the associated evaluation costs by stopping early when a property is violated, providing concrete counterexamples to guide further synthesis. Evaluations on PDDL planning domains demonstrate that this approach significantly outperforms previous method

Author

mystorage750

Language

EN