Dataset · Hugging Face

internlm/AdvancedMathBench

Name: AdvancedMathBench
Creator: internlm
Keywords: task_categories:text-generation, language:en, language:zh, size_categories:1K<n<10K, format:json, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, arxiv:2607.11849, region:us, mathematics, proof-generation, proof-verification

AdvancedMathBench Paper · HF Paper · GitHub · Dataset · AutoVerifier AdvancedMathBench evaluates natural-language mathematical proof generation and verification at the undergraduate (UGD) and qualifying-exam (QE) levels. Benchmark Task Problems Proofs UGD / QE ProverBench Generate a proof for a given problem 245 — 200 / 45 problems VerifierBench Assess a proof and identify its errors 360 888 168 / 720 proofs Both benchmarks are provided as test splits.… See the full description on the dataset page: https://huggingface.co/datasets/internlm/AdvancedMathBench.

View on Hugging FaceReport an issue

Author / organization	internlm
Downloads	172 (as reported by Hugging Face)
Likes	1
Created	29 September 2026
Last updated at source	29 September 2026

mathematicsproof-generationproof-verificationbenchmark

Embed this entry

<iframe src="https://silytics.si/embed/item/e2d5d5d5-50ad-4f9d-8d9b-9cd4844ed529" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

More from internlm

internlm/WildClawBenchDataset
internlm/WildClawBench-HarborDataset
internlm/SWE-Fixer-Train-110KDataset
internlm/WildClawBench-TrajectoriesDataset
internlm/Lean-WorkbookDataset
internlm/VC-RewardBenchDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.