Dataset · Hugging Face

facebook/crv

Name: crv
Creator: facebook
License: cc-by-nc-4.0
Keywords: language:en, license:cc-by-nc-4.0, size_categories:100K<n<1M, arxiv:2510.09312, region:us, reasoning, math, logic

This repository contains the datasets used in the paper "Verifying Chain-of-Thought Reasoning via its Computational Graph" (CRV). The data consists of reasoning and math problems, the Chain-of-Thought (CoT) traces generated by Llama 3.1 8B Instruct, and step-level correctness annotations used to train and evaluate the CRV verifier. Paper: arXiv:2510.09312Codebase: GitHub Repository Dataset Overview We provide data for three domains. For the arithmetic and boolean domain, the… See the full description on the dataset page: https://huggingface.co/datasets/facebook/crv.

View on Hugging FaceReport an issue

Author / organization	facebook
License (as declared)	cc-by-nc-4.0
Downloads	268 (as reported by Hugging Face)
Likes	3
Created	25 November 2025
Last updated at source	28 November 2025

reasoningmathlogic

Embed this entry

<iframe src="https://silytics.si/embed/item/ec2d7a88-5478-4e2f-aeb3-fb6ac32150ad" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

More from facebook

facebook/uco3dDataset
facebook/seamless-interactionDataset
facebook/anliDataset
facebook/belebeleDataset
facebook/multilingual_librispeechDataset
facebook/xnliDataset

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.