Dataset is also available for download on 🤗 Hugging Face. DafnyBench is the largest benchmark of its kind for training and evaluating machine learning systems for formal software verification, with ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results