A new “semi-formal reasoning” approach forces AI models to trace code paths and justify conclusions, improving accuracy while reducing reliance on costly execution environments.

This technique can be used out-of-the-box, requiring no model training or special packaging. It is code-execution free, which means you do not need to add additional tools to your LLM environment.