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.
26Updated 2 weeks ago

Alternatives and similar repositories for verina

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

Sorting: