VeriCodeBench

What is VeriCodeBench?

Large language models (LLMs) may generate unreliable code on corner cases missed by testing, while formal verification can provide machine-checkable guarantees.

Released

2026-09-30

Evaluates

Code, Code & Software, Code generation, Software & AI Compute

Openness

unknown

Importer

Claire Radar

Review status

rule-auto-admitted

Reported scores

0

Source provenance

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

VeriCodeBench paper

• Paper https://arxiv.org/abs/2609.39568

Which sources cite VeriCodeBench?

• VeriCodeBench

Related Code, Code & Software, Code generation, Software & AI Compute benchmarks

• Active-SWE
• AFT-Bench
• Agent App Benchmark
• Agent Retrieval Bench
• Agent Systems Benchmark (ASB)
• agent-hijack-bench
• Agentic Evaluation in 2D Mazes
• Agentic Security Benchmark