Techniques
Stop Trusting Free-Form Chain-of-Thought. Make Your Model Sign a Logical Certificate Instead
Meta's semi-formal reasoning template forces premises, traced paths, and a derived conclusion, so you can see exactly where the model is bluffing.
Brian Gagne