Questionable article. Just as you can make logic mistakes in Rust, you can make mistakes when checking the LLM output for sanity. Looking at the example at the

Questionable article. Just as you can make logic mistakes in Rust, you can make mistakes when checking the LLM output for sanity. Looking at the example at the end (modelling a traffic light), you would model that in Rust, so that invalid states are impossible.