DafnyBench

Stream: Machine Learning for Theorem Proving

[Jason Rute]

In #Machine Learning for Theorem Proving > benchmarks we were just talking about benchmarks for formal verification. I just found a paper on one: DafnyBench: A Benchmark for Formal Software Verification. I haven’t read it yet. It seems to be about Dafny which I don’t know a lot about, but looks really interesting.

[Jason Rute]

Unfortunately I don’t know if any of the authors are on this Zulip.

[Bulhwi Cha]

I began learning Dafny last week, so I'm looking forward to using LLMs to verify programs written in Dafny.