Dataset · Hugging Face

Bdyskov/verified-math-reasoning

Name: verified-math-reasoning
Creator: Bdyskov
License: cc-by-nc-sa-4.0
Keywords: task_categories:text-generation, task_categories:question-answering, language:en, license:cc-by-nc-sa-4.0, size_categories:n<1K, region:us, math, reasoning, olympiad, cot, rlvr, cargodash, synthetic

verified-math-reasoning (CargoDash flagship recipe) A CargoDash framework demonstration. 999-row showcase of three-layer, program-verified, vote-stratified math reasoning traces — the dataset is small on purpose (its job is to prove the framework works on real production LLM endpoints, not to be a serious math benchmark). Each row carries three independent chain-of-thought solutions to the same problem (from DeepSeek, Doubao, and Qwen3.5) plus a programmatically extracted \boxed{}… See the full description on the dataset page: https://huggingface.co/datasets/Bdyskov/verified-math-reasoning.

View on Hugging FaceReport an issue

Author / organization	Bdyskov
License (as declared)	cc-by-nc-sa-4.0
Downloads	135 (as reported by Hugging Face)
Likes	1
Created	28 May 2026
Last updated at source	28 May 2026

mathreasoningolympiadcotrlvrcargodashsynthetic

Embed this entry

<iframe src="https://silytics.si/embed/item/f143f9dd-fc23-44cf-8eb0-a9ad5d30026d" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

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.