MathPile: A Billion-Token-Scale Pretraining Corpus for Math - Wang, Zengzhi; Li, Xuefeng; Xia, Rui; Liu, Pengfei (Advances in Neural Information Processing Systems, 2024)