@InProceedings{Henniger2026djinnlang,
  title={Djinnlang: Higher-Level Programming by Exhaustive Specification and {LLM} Implementation},
  author={Simon Henniger and Stephen Chong and Nada Amin},
  booktitle={NeurIPS 2026 Workshop on AI for Verifiable Coding},
  year={2026},
  url={https://openreview.net/forum?id=YlUbKo0OGQ}
}