Back to search
Top Contributors
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.
Stars
55
Forks
9
Watchers
55
Open Issues
6
Overall repository health assessment
No package.json found
This might not be a Node.js project