FineEnvs/openai-math
Dataset · https://huggingface.co/datasets/FineEnvs/openai-math
openai/math as Harbor environments Experimental. Built on a research release that is itself new and not yet independently reviewed. Expect rough edges, and read any proof that scores 1 before relying on it. We ported the math problems from OpenAI's openai/math release (commit adc7f12) into Harbor environments. The release formalizes 405 of its results as Lean statements. This dataset contains 369 environments, the ones whose official proof we verified end to end in the… See the full description on the dataset page: https://huggingface.co/datasets/FineEnvs/openai-math.
First seen by Oriel on .
Metric trends
Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained
Likes
Total likes reported by the source.
- Hugging Face Datasets: 109, latest observation ; +36 over observed period since
Downloads (30d)
Rolling 30-day downloads. A change in this value is not new downloads during the observed period.
- Hugging Face Datasets: 8,419, latest observation ; +4,290 over observed period since
Aliases
| Source | External ID | URL |
|---|---|---|
| Hugging Face Datasets | FineEnvs/openai-math | https://huggingface.co/datasets/FineEnvs/openai-math |