← all datasets

First Proof

Emerging
2papers using it
2026first seen

The 'First Proof' benchmark consists of ten research-level mathematical problems contributed by expert mathematicians and is used to evaluate the performance of automated reasoning systems like RMA in solving complex mathematical proofs.

🔎 Find this dataset

Papers using First Proof (2)

First Proof — datasets — ai-agents