datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
math-code-science-deepseek-r1-en
R1 Dataset Collection
Aggregated high-quality English prompts and model-generated responses from DeepSeek R1 and DeepSeek R1-0528.
Dataset Summary
The R1 Dataset Collection combines multiple public DeepSeek-generated instruction-response corpora into a single, cleaned, English-only JSONL file. Each example consists of a <|user|> prompt and a <|assistant|> response in one "text" field. This release includes:
~21,000 examples from the DeepSeek-R1-0528 Distilled Custom… See the full description on the dataset page: https://huggingface.co/datasets/Hugodonotexit/math-code-science-deepseek-r1-en.MathCodeInstruct
MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning
Paper: https://arxiv.org/pdf/2310.03731.pdf
Repo: https://github.com/mathllm/MathCoder
Introduction
We introduce MathCoder, a series of open-source large language models (LLMs) specifically tailored for general math problem-solving.
Base Model: Llama-2
Base Model: Code Llama
MathCoder-L-7B
MathCoder-CL-7B
MathCoder-L-13B
MathCoder-CL-34B
Training Data
The models… See the full description on the dataset page: https://huggingface.co/datasets/MathLLMs/MathCodeInstruct.MathCodeInstruct-Plus
MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning
Paper: https://arxiv.org/pdf/2310.03731.pdf
Repo: https://github.com/mathllm/MathCoder
Introduction
We introduce MathCoder, a series of open-source large language models (LLMs) specifically tailored for general math problem-solving.
Base Model: Llama-2
Base Model: Code Llama
MathCoder-L-7B
MathCoder-CL-7B
MathCoder-L-13B
MathCoder-CL-34B
Training Data
The models… See the full description on the dataset page: https://huggingface.co/datasets/MathLLMs/MathCodeInstruct-Plus.verisci-verified-science-math-code
VeriSci Verified Science Math Code
Verifier-grounded dataset for the Adaption AutoScientist Challenge Part 2, targeting the Science category with secondary Math and Code coverage.
Summary
VeriSci trains models to solve scientific computations, finite-difference PDE updates, numerical ODE steps, unit-checked mechanics, thermodynamics, circuits, chemistry stoichiometry, molarity, unit conversion, vector decomposition, two-point linear modeling, small Python… See the full description on the dataset page: https://huggingface.co/datasets/TheJackBright/verisci-verified-science-math-code.curated-openbmb-code-math
Curated OpenBMB Code/Math Post-Training Data
English code/math-focused post-training data derived from curated OpenBMB UltraData rows.
Contents
Config
Rows
Schema
Purpose
sft_no_think
25,891
prompt, response
Direct code/math SFT plus necessary technical instruction-following/alignment
sft_think
6,018
prompt, response
Code/math reasoning SFT with <think>...</think> traces
Total rows: 31,909.
Curation
The SFT split keeps English code… See the full description on the dataset page: https://huggingface.co/datasets/josephmayo/curated-openbmb-code-math.