# Oracle-verified reasoning dataset: verify-or-fix + witnesses + traces (preview + gated pilot) **URL:** \ **Category:** 🤗Datasets\ **Created:** [January 7, 2026, 7:17am UTC](https://discuss.huggingface.co/t/oracle-verified-reasoning-dataset-verify-or-fix-witnesses-traces-preview-gated-pilot/172279 "2026-01-07T07:17:26Z")\ **Posts on this page:** 2\ **Page:** 1
**Author:** ![Giuelvy](https://avatars.discourse-cdn.com/v4/letter/g/5f8ce5/32.png) [@Giuelvy](https://discuss.huggingface.co/u/Giuelvy)\ **Post date:** [January 7, 2026, 7:17am UTC](https://discuss.huggingface.co/t/oracle-verified-reasoning-dataset-verify-or-fix-witnesses-traces-preview-gated-pilot/172279/1 "2026-01-07T07:17:26Z")
I released a preview of an oracle-verified reasoning dataset generated by a deterministic Python oracle (no LLM-generated labels). Key feature: verify-or-fix records with explicit witnesses (counterexamples / better solutions) and bounded reasoning traces (e.g., Dijkstra pop/relax, DP transitions). Preview: [Giuelvy/diamond-logic-miner-preview · Datasets at Hugging Face](https://huggingface.co/datasets/Giuelvy/diamond-logic-miner-preview) Pilot (gated): [Giuelvy/diamond-logic-miner-pilot-1m-gold · Datasets at Hugging Face](https://huggingface.co/datasets/Giuelvy/diamond-logic-miner-pilot-1m-gold) Happy to share quick stats (task mix, hard-positive rate, length p95) if helpful. ---
**Author:** ![Giuelvy](https://avatars.discourse-cdn.com/v4/letter/g/5f8ce5/32.png) [@Giuelvy](https://discuss.huggingface.co/u/Giuelvy)\ **Post date:** [January 7, 2026, 7:20am UTC](https://discuss.huggingface.co/t/oracle-verified-reasoning-dataset-verify-or-fix-witnesses-traces-preview-gated-pilot/172279/2 "2026-01-07T07:20:27Z")
Quick verify-or-fix example: candidate shortest distance=99, oracle says 97 with a counterexample path + full pop/relax trace. This is the kind of “auditable” supervision we’re generating.