ResearchBenchmarksVerified Program Synthesis on LCB-Pro-Dafny (Easy)Follow75Verification Success RateAxDafny10.5227.264460.74Jun 30, 2026Evaluation ResultsMethodMethodLinksVerification Success RateAxDafny2026.0675GPT-5.5evaluation_protocol=pa...evaluation_protocol=pass@12026.0613