Meta researchers Shubham Ugare and Satish Chandra have introduced “semi-formal reasoning,” a method that enhances AI agents’ ability to verify code patches without execution. This approach achieved up to 93% accuracy in evaluating patch equivalence, significantly improving error reduction in DevOps processes and lowering the costs associated with traditional code verification methods.













