Meta researchers have published a structured prompting technique called "semi-formal reasoning" that dramatically improves how LLMs review code without executing it — pushing accuracy to 93% on fault localization benchmarks, far ahead of standard chain-of-thought prompting. The approach works by requiring the model to explicitly state its premises, trace