Dafny
Emerging2papers using it
2025first seen
Dafny is an auto-active verifier that translates the miniF2F mathematical benchmark to evaluate the performance of large language models in generating proofs for mathematical theorem proving.
Dafny is an auto-active verifier that translates the miniF2F mathematical benchmark to evaluate the performance of large language models in generating proofs for mathematical theorem proving.