Neuro-Symbolic Data Generation for Math Reasoning - Li, Zenan; Zhou, Zhi; Yao, Yuan; Li, Yu-Feng; Cao, Chun; Yang, Fan; Zhang, Xian; Ma, Xiaoxing (Advances in Neural Information Processing Systems, 2024)