openbmb/MA-ProofBench download history
openbmb/MA-ProofBench is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 711 times (85 in the last 7 days), and 2,023 times in total. It ranks #25,043 among datasets by monthly downloads.
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis English | 中文 We introduce MA-ProofBench, to the best of our knowledge, the first formal benchmark for evaluating large language models (LLMs) on theorem proving in Mathematical An