@misc{loughridge2024dafnybenchbenchmarkformalsoftware,
    title={DafnyBench: A Benchmark for Formal Software Verification}, 
    author={Chloe Loughridge and Qinyi Sun and Seth Ahrenbach and Federico Cassano and Chuyue Sun and Ying Sheng and Anish Mudide and Md Rakib Hossain Misu and Nada Amin and Max Tegmark},
    year={2024},
    eprint={2406.08467},
    archivePrefix={arXiv},
    primaryClass={cs.SE},
    url={https://arxiv.org/abs/2406.08467}, 
}