Djinnlang: Higher-Level Programming by Unambiguous Specification with an LLM in the Compiler

Simon Henniger, Stephen Chong, Nada Amin

Programmers write formal specifications, and LLMs implement them, proving that each implementation matches its spec. Taken to its extreme, this makes specification languages the ne…