← all datasets

Rocq

Emerging
3papers using it
2026first seen

Rocq is a benchmark dataset used to evaluate automated theorem proving agents in formal verification settings.

🔎 Find this dataset

Papers using Rocq (3)

Rocq — datasets — ai-agents