Tasks SotA Datasets Papers Methods Submit About

SotA/Miscellaneous/Mathematical Proofs/miniF2F-test

Mathematical Proofs on miniF2F-test

Metric: ITP (higher is better)

LeaderboardDataset

Results

Submit a result

Sort:

#	Model↕	ITP▼	Extra Data	Paper	Date↕	Code

No results available for this benchmark.

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.