Share your thoughts, 1 month free Claude Pro on usSee more

Home/Benchmarks

Dafny Code Synthesis on APPS Dafny-derived (val)

53.9Pass Rate

Initial RLVR

Updated 2d ago

Evaluation Results

Method	Links
Initial RLVR 2026.05		53.9

SOTA Paper

Initial RLVR

Automating Formal Verification with Reinforcement Learning and Recursive Inference

Dataset

APPS

Follow for update

@wizwand_team Discord

Related Benchmarks

Dafny Code Synthesis on APPS Vericoding-derived (test)Dafny Code Synthesis on Dafny Benchmark Overall Vericoding (aggregate)Dafny Code Synthesis on Dafny Hard Subset Quality-filtered (val)

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs