Tasks SotA Datasets Papers Methods Submit About

Datasets/Metamath set.mm

Metamath set.mm

Benchmarks

Automated Theorem Proving/Percentage correct Automated Theorem Proving/Pass@32 Mathematical Proofs/Percentage correct Mathematical Proofs/Pass@32

Statistics

Papers: 0
Benchmarks: 4

Links

Tasks

Automated Theorem Proving Mathematical Proofs

Papers With Code 2

A community resource for machine learning research: papers, code, benchmarks, and state-of-the-art results.

Explore

Notable Benchmarks All SotA Datasets Papers Methods

Community

Submit Results About

Data sourced from the PWC Archive (CC-BY-SA 4.0). Built by the community, for the community.