04:53
2026-07-01
machinebrief.com
ai-research
AxDafny Redefines Code Verification Standards
AxDafny, a verifier-guided framework, achieved a 92.7% verification success rate on DafnyBench, outperforming GPT-5.5 by 6.5 percentage points. The tool generates code with proof artifacts, setting a …