NaturalProofs Benchmark

What is NaturalProofs?

NATURALPROOFS is a multi-domain corpus of mathematical statements and their proofs, written in natural mathematical language. NATURALPROOFS unifies broad…

Released

2021-06-07

Evaluates

数学, Math, 科学智能, AI for Science, 数理能力, 不支持, Unsupported

Openness

unknown

Importer

OpenCompass Hub

Reported scores

0

Source provenance

• Original evidence https://hub.opencompass.org.cn/dataset-detail/NaturalProofs

NaturalProofs paper and code

• Paper https://arxiv.org/pdf/2104.01112v2
• Code https://github.com/wellecks/naturalproofs

Which sources cite NaturalProofs?

• NaturalProofs

Related 数学, Math, 科学智能, AI for Science, 数理能力, 不支持, Unsupported benchmarks

• A-Bench
• A-OKVQA
• AbsPyramid
• ActionAtlas
• Ada-LEval
• AECBench
• AFQMC
• AgentBoard