GitHub repository: sunblaze-ucb/verina
Primary language: Lean
Created: 2025-05-16T07:25:54Z
Description: 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.