ResearchBenchmarksVerified Program Synthesis on LCB-Pro-DafnyFollow56.4Verification Success RateAxDafny9.80821.9043446.096Jun 30, 2026Evaluation ResultsMethodMethodLinksVerification Success RateAxDafny2026.0656.4GPT-5.5evaluation_protocol=pa...evaluation_protocol=pass@12026.0611.6