ProofNet Benchmark

What is ProofNet?

ProofNet is a benchmark for autoformalization and formal proving of undergraduate-level mathematics. The ProofNet benchmarks consists of 371 examples, each…

Released

2023-02-24

Evaluates

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

Openness

open

Importer

OpenCompass Hub

Reported scores

0

Source provenance

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

ProofNet paper, code and dataset

• Paper https://arxiv.org/pdf/2302.12433
• Code https://github.com/zhangir-azerbayev/ProofNet
• Dataset https://huggingface.co/datasets/hoskinson-center/proofnet

Which sources cite ProofNet?

• ProofNet

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

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