verifier
Datasets
All datasets matching “verifier”distill_qwen_7b_aime_verifications_7b_ft_verifierHLE-Verifications
HLE with Gemini 3 Pro
This dataset contains 649 multiple-choice and exact-match questions from the Humanity's Last Exam (HLE) benchmark with 50 candidate responses generated by Gemini 3 Pro for each problem. Each response has been evaluated for correctness using a mixture of Qwen3-Next-80B-A3B-instruct and Python code to parse different answer formats, and scored by multiple LLM judges according to a 0-5 rubric.
Dataset Structure
Split: Single split named "data"
Number… See the full description on the dataset page: https://huggingface.co/datasets/FUSE-verifiers/HLE-Verifications.distill_qwen_7b_math_verifications_7b_ft_verifierlean-verifier-formalizations
Lean Verifier Formalizations
A dataset of Lean 4 theorem-proving tasks for evaluating agentic coding harnesses. Each row pairs a formal task_statement (with the reference proof body removed) against a real Lean 4 repository, plus the informal_excerpt/informal_source_text describing what the theorem claims, permitted_axioms for the verifier, and provenance fields (repo_url, repo_commit_sha, license) tracing back to the source project.
Sources
Every row is pulled… See the full description on the dataset page: https://huggingface.co/datasets/Pradheep1647/lean-verifier-formalizations.deepswe-verifier-2582-v1OpenHands-Verifier-Trajectories