SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond - Liu, Junteng; Fan, Yuanxiang; Zhuo, Jiang; Ding, Han; Hu, Yongyi; Zhang, Chi; Shi, Yiqi; Weng, Shitong; Chen, Aili; Chen, Shiqi; Zhang, Mozhi; Zhao, Pengyu; et al. (Advances in Neural Information Processing Systems, 2025)