Ning, Y.; Huang, Z.; Lin, X.; Chen, E.; Tong, S.; Gong, Z.; Wang, S. Towards a Holistic Understanding of Mathematical Questions With Contrastive Pre-Training. AAAI 2023, 37, 13409-13418.