TY  - RPRT
TI  - DafnyBench: A Benchmark for Formal Software Verification
AU  - Chloe Loughridge
AU  - Qinyi Sun
AU  - Seth Ahrenbach
AU  - Federico Cassano
AU  - Chuyue Sun
AU  - Ying Sheng
AU  - Anish Mudide
AU  - Md Rakib Hossain Misu
AU  - Nada Amin
AU  - Max Tegmark
PY  - 2024
UR  - https://arxiv.org/abs/2406.08467
ID  - 2406.08467
ER  -