2 repos
zhangir-azerbayev/mm-extract
Extracting human readable pre-training data from set.mm
5
15 commits
zhangir-azerbayev/proof-pile
Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical…
22
4 commits
