Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specification, and proof generation as well as their compositions.
Displaying 1-1 of 1 versions of verina
Sort by
Date
Not a part of any version track.
d3d5bbf
10 days ago
Released on June 9, 2025 at 3:26:40PM
Commit d3d5bbf builds on its old leanprover/lean4:v4.18.0