sunblaze-ucb / verinaLinks

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.
20Updated last month

Alternatives and similar repositories for verina

Users that are interested in verina are comparing it to the libraries listed below

Sorting: