Sign inGet started
Dataset · Hugging Face

ulamai/Math-RL-Tasks

Ulam AI Math RL Tasks Forty original, verifier-backed mathematical reasoning tasks packaged as ten independent RL environments. The collection spans advanced graduate exercises, research-style exact computation and structural generalization problems in algebraic geometry, arithmetic geometry, combinatorics, topology, probability and spectral analysis. Each suite pairs a runnable rl_env/ with a preserved blind_run/ by GPT-5.6 Sol Pro. The model name describes the evaluation actor… See the full description on the dataset page: https://huggingface.co/datasets/ulamai/Math-RL-Tasks.

Author / organizationulamai
License (as declared)mit
Downloads699 (as reported by Hugging Face)
Likes1
Created26 August 2026
Last updated at source29 August 2026
reinforcement-learningrlvrmathematicstheorem-provingexact-verificationagent-trajectories
Embed this entry
<iframe src="https://silytics.si/embed/item/326c87f4-46ff-47ac-a366-87df01b36616" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

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 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.