Vero composition: 43 Lean 4 repos, 743 APIs, 2,705 formal specs
dawnsongtweets · x · 2026-08-23
Vero consists of 43 multi-module Lean 4 instances curated from real-world repositories in Python, Dafny, Verus, and Coq, each with fixed data types and API signatures (743 scored APIs), human-curated formal specifications (2,705 total), and reference implementations for every API. Domains span cryptographic protocols, smart contracts, distributed systems, and data structures, plus a semi-automated curation pipeline extensible to new source languages.
More from Research
- Research: Misconfigured Admin Prompts Can Invert LLM Safety Layers — Simple_Passion_7741 · 2026-08-23
- 7,500-line interactive textbook teaches building LLMs from scratch — tom_doerr · 2026-08-23
- ProteinDPO Adopts DPO to Align Protein Models with Experimental Stability — bravo_abad · 2026-08-23
- Article: Ontology evolution from semantics to AI agents — adnan_hashmi · 2026-08-23
- DelveRL: Open-Source Roguelike Built Specifically for Training Game-Playing Agents — SnyderConsulting · 2026-08-23
- Vero: First Benchmark for Repository-Scale Formal Verification by AI Agents — dawnsongtweets · 2026-08-23