math23k
Datasets
All datasets matching “math23k”math23k-rebornThe data is synthesized by the 🌸BlossomData framework.
math23kmini-math23k-v1The mini-math23k-v1 dataset is composed of ~ 23,000 entries of data, from open datasets across the AI landscape, including:
TIGER-Lab/MathInstruct
Birchlabs/openai-prm800k-solutions-only
Credits:
Birchlabs
@article{yue2023mammoth,
title={MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning},
author={Xiang Yue, Xingwei Qu, Ge Zhang, Yao Fu, Wenhao Huang, Huan Sun, Yu Su, Wenhu Chen},
journal={arXiv preprint arXiv:2309.05653},
year={2023}
}
litex-math23k
Litex Math23K
This dataset contains 22,329 standalone Litex artifacts derived from Math23K
annotated equations. Each record stores a complete .lit file, its formal
goal, a proof-shape description, and a content hash.
The original Chinese questions and natural-language solutions are not included.
This is a formal-code corpus and verifier regression artifact, not a
redistribution of Math23K.
Verification boundary
Each artifact is a checkable calculation model. The… See the full description on the dataset page: https://huggingface.co/datasets/Sanyan/litex-math23k.translated-mini-math23k-v1