Dafny

Dafny is a formal verification tool that contains a set of specifications and code for classical algorithms, used to evaluate the performance of AI models in generating verified code.

Papers using Dafny (6)

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms2026Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles2026A benchmark for vericoding: formally verified program synthesis2025Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny2025Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny2025VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search2024