Dataset · Hugging Face

ulamai/verified-research-reasoning-trajectories

Name: verified-research-reasoning-trajectories
Creator: ulamai
License: other
Keywords: task_categories:text-generation, task_categories:question-answering, task_categories:reinforcement-learning, language:en, license:other, size_categories:n<1K, format:json, modality:document, modality:tabular, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us

Verified Research Reasoning Trajectories for RLVR This repository is the public sample and schema repository for Ulam's research-level mathematical reasoning trajectories for reinforcement learning with verifiable rewards (RLVR), process supervision, judge training, proof criticism, and private evaluations. Ulam Verified Research Reasoning Trajectories are proof-process data for RLVR. Each record contains a normalized research problem, a golden or partial-golden proof graph… See the full description on the dataset page: https://huggingface.co/datasets/ulamai/verified-research-reasoning-traject

View on Hugging FaceReport an issue

Author / organization	ulamai
License (as declared)	other
Downloads	128 (as reported by Hugging Face)
Likes	3
Created	15 May 2026
Last updated at source	28 July 2026

mathematicsrlvrreasoningmathematical-reasoningresearch-trajectoriesprocess-supervisiontheorem-provingreward-modelingjudge-trainingproof-verificationproof-criticismproof-verification-unitsconversation-tracesprivate-evals

Embed this entry

<iframe src="https://silytics.si/embed/item/6828f440-b5da-4f85-8217-4ef7aa451580" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 2 days

128 now (+1 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

Connected in the knowledge graph

Flexan/ulamai-Ulam-1-Small-GGUFModel · used to train
mradermacher/Ulam-1-Small-GGUFModel · used to train
ulamai/Ulam-1Model · used to train
mradermacher/Ulam-1-GGUFModel · used to train

Explore this entry in the graph

More from ulamai

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.