ResearchBenchmarksVerified Program Synthesis on LCB-Pro-Dafny HardFollow28Verification Success RateAxDafny3.049.521622.48Jun 30, 2026Evaluation ResultsMethodMethodLinksVerification Success RateAxDafny2026.0628GPT-5.5evaluation_protocol=pa...evaluation_protocol=pass@12026.064