Symbolic Mathematics

A personalized subset of Symbolic Mathematics dataset, initially introduced in the paper Deep Learning for Symbolic Mathematics (Lample et al.). We used this subset for our paper Pretrained Language Models are Symbolic Mathematics Solvers Too! (Noorbakhsh et al.).