Vero's two task modes: proof-only and code-and-proof, both requiring full coverage
dawnsongtweets · x · 2026-08-23
Vero defines two task modes: proof-only (prove every spec against the provided reference implementation) and code-and-proof (implement every API, then prove every spec against your own code). Both require full coverage—any unproven spec leaves room for exactly the bug it would have caught. Code-and-proof couples implementation choices with proof obligations for end-to-end evaluation of repository-scale verified code generation.
More from Research
- Pixel32Bench compares language models via 32x32 pixel generation — TheMoonMidas · 2026-08-23
- AI in material science: Opportunities with cloud labs and simulation — JacquesThibs · 2026-08-23
- Marin 535B Training Starts with Full Transparency on FLOPs and Configs — _ScottCondron · 2026-08-23
- Developer calls MCP research paper error-riddled and partially AI-generated — benfielding · 2026-08-23
- NanoGPT Speedrun Leaderboard Summary — RichmanRonald · 2026-08-23
- Where Are All the Prompt Injection Damages? — joshua_saxe · 2026-08-23