Errors are Useful Prompts: Instruction Guided Task Programming with Verifier-Assisted Iterative Prompting

This paper proposes CLAIRIFY, an approach that combines automatic iterative prompting with program verification to ensure programs written in data-scarce domain-specific language are syntactically valid and incorporate environment constraints.