PRM800K Files

800,000 step-level correctness labels on LLM solutions to MATH problem

This is an exact mirror of the PRM800K project, hosted at https://github.com/openai/prm800k. SourceForge is not affiliated with PRM800K. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
prm800k source code.tar.gz	2023-06-01	92.4 MB
prm800k source code.zip	2023-06-01	92.5 MB
Totals: 2 Items		184.8 MB

Other Useful Business Software

Simple, Secure Domain Registration

Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Recommended Projects

$DeepSeek Math$

DeepSeek Math
DeepSeek-Math is DeepSeek’s specialized model (or dataset + evaluation) focusing on mathematical reasoning, symbolic manipulation, proof steps, and advanced quantitative problem solving. The repository is likely to include fine-tuning routines or task datasets (e.g. MATH, GSM8K, ARB),...
tag-my-dataset
A graphic user interface program to work with labels and images in a dataset.
MathStudio
A wxWidgets-based project aimed to make math-typing, plotting and symbolic math easier; user can easily input, plot and save/load math data in various formats (e.g. MathML). Step-by-step resolution makes this a powerful didactive tool.
LeetCode Book
LeetCode-Book is a comprehensive study guide for coding interviews that consolidates algorithm patterns, data-structure templates, and worked LeetCode solutions. It organizes problems by topic—arrays, linked lists, stacks/queues, trees/graphs, dynamic programming, greedy, backtracking, and...
LLM Datasets
LLM Datasets curates and standardizes datasets commonly used to train and fine-tune large language models, reducing the overhead of hunting down sources and normalizing formats. The repository aims to make datasets easy to inspect and transform, with scripts for downloading, deduping, cleaning,...

PRM800K Files

800,000 step-level correctness labels on LLM solutions to MATH problem

Get an email when there's a new version of PRM800K