← all datasets

Clever

Emerging

4papers using it

2019first seen

🔎 Find this dataset

Papers using Clever (4)

Agentic Proving for Program Verification2026

Wybecoder: Verified Imperative Code Generation2026

CLEVER: A Curated Benchmark for Formally Verified Code Generation2025

Language as an Abstraction for Hierarchical Deep Reinforcement Learning2019 · 65 cites

Clever — datasets — ai-agents