Example of using LLM and classical verifier (a compiler for some DSL) to boost an LLM's code generation: https://arxiv.org/pdf/2303.14100.pdf