VERA

Summary from the TLDR newsletter

Vera is a programming language designed for large language models that addresses common model mistakes by making everything explicit and verifiable.