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

You Might Also Like

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

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 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