DafnyBench
Emerging6papers using it
58HF downloads
7HF likes
2024first seen
DafnyBench is a benchmark used to evaluate the performance of automated verification tools for Dafny programs, specifically assessing their ability to generate correct proofs.
🤗 Hugging Face⚖ apache-2.0
Papers using DafnyBench (6)
- DafnyPro: LLM-Assisted Automated Verification for Dafny ProgramsATLAS: Automated Toolkit for Large-Scale Verified Code SynthesisInferring multiple helper Dafny assertions with LLMsSpecification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMsDafnyBench: A Benchmark for Formal Software Verificationdafny-annotator: AI-Assisted Verification of Dafny Programs