Verina

Name: Verina
License: apache-2.0

Emerging

2papers using it

203HF downloads

10HF likes

2025first seen

Verina: Benchmarking Verifiable Code Generation Check out GitHub for more information.

Papers using Verina (2)