Dataset · Hugging Face

Salesforce/Hard2Verify

Name: Hard2Verify
Creator: Salesforce
License: cc-by-nc-4.0
Keywords: task_categories:question-answering, language:en, license:cc-by-nc-4.0, size_categories:n<1K, format:json, modality:text, library:datasets, library:pandas, library:mlcroissant, library:polars, arxiv:2510.13744, region:us, math, reasoning, verification

Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math Large language model (LLM)-based reasoning systems have recently achieved gold medal-level performance in the IMO 2025 competition, writing mathematical proofs where, to receive full credit, each step must be not only correct but also sufficiently supported. To train LLM-based reasoners in such challenging, open-ended settings, strong verifiers capable of catching step-level mistakes are necessary… See the full description on the dataset page: https://huggingface.co/datasets/Salesforce/Hard2Verify.

View on Hugging FaceReport an issue

Author / organization	Salesforce
License (as declared)	cc-by-nc-4.0
Downloads	164 (as reported by Hugging Face)
Likes	7
Created	10 October 2025
Last updated at source	17 October 2025

mathreasoningverification

Embed this entry

<iframe src="https://silytics.si/embed/item/92c8b6ca-ac25-423a-956a-5ef8a4851029" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

More from Salesforce

Salesforce/wikitextDataset
Salesforce/GiftEvalPretrainDataset
Salesforce/lotsa_dataDataset
Salesforce/xlam-function-calling-60kDataset
Salesforce/3d_optical_flow_droidDataset
Salesforce/GiftEvalDataset

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.