ResearchBenchmarksVerified Program Synthesis on LCB-Pro-Dafny MediumFollow52Verification Success RateAxDafny12.4822.743343.26Jun 30, 2026Evaluation ResultsMethodMethodLinksVerification Success RateAxDafny2026.0652GPT-5.5evaluation_protocol=pa...evaluation_protocol=pass@12026.0614