Tasks
SotA
Datasets
Papers
Methods
Submit
About
Datasets
/
CoqGym
CoqGym
Benchmarks
Automated Theorem Proving
/
Percentage correct
Mathematical Proofs
/
Percentage correct