Vero Benchmark

What is Vero?

Vero evaluates repository-level verified code generation in Lean 4, with 43 multi-module instances, formal specifications, and proof-only and code-and-proof…

Released

2026-08-13

Evaluates

Language & Knowledge, Software & AI Compute, cs.LG

Openness

unknown

Importer

Claire Radar

Review status

unreviewed

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2608.13522

Vero paper and code

• Paper https://arxiv.org/abs/2608.13522
• Code https://github.com/sunblaze-ucb/vero

Which sources cite Vero?

• Vero

Related Language & Knowledge, Software & AI Compute, cs.LG benchmarks

• 5-Dialects-BN
• A Large-Scale Dataset and Benchmark
• AARRI-Bench
• ABC-Bench
• Active-SWE
• ActiveSciBench
• AdaMem-Bench
• AdvancedMathBench