Errors are Useful Prompts: Instruction Guided Task Programming with Verifier-Assisted Iterative Prompting
2023. [All Versions]. [Project]. [Website]. 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…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Grammar Prompting for Domain-Specific Language Generation with Large Language Models proceedings.neurips.cc
NeurIPS'23, 2023. [All Versions]. Grammar prompting is a simple approach to enable LLMs to use external knowledge and domain-specific constraints expressed through a grammar in Backus--Naur Form (BNF) during in-context learning. Grammar prompting augments each demonstration…
-
Learn Prompting learnprompting.org
A free, open source course on communicating with artificial intelligence.
-
-
Promptfoo promptfoo.dev
Test cases, assertions, model comparisons, and red-team checks for LLM applications.
-
16x Prompt prompt.16x.engineer
Cross-platform app to add source code and formatting instructions into prompt for coding tasks. ($)
-
GPT Prompt Engineer github.com
Automated prompt engineering. It generates, tests, and ranks prompts to find the best ones.
AGI & CoCoSci › Papers > Domain Specific Language > DSL Program Synthesis: “2023. [All Versions]. [Project]. [Website]. 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…”