Tang, Shange

9 publications

ICLR 2026 Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin

ICLR 2025 Benign Overfitting in Out-of-Distribution Generalization of Linear Models Shange Tang, Jiayun Wu, Jianqing Fan, Chi Jin

NeurIPS 2025 Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora

ICLRW 2025 MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities Against Hard Perturbations Kaixuan Huang, Jiacheng Guo, Zihao Li, Xiang Ji, Jiawei Ge, Wenzhe Li, Yingqing Guo, Tianle Cai, Hui Yuan, Runzhe Wang, Yue Wu, Ming Yin, Shange Tang, Yangsibo Huang, Chi Jin, Xinyun Chen, Chiyuan Zhang, Mengdi Wang

ICML 2025 MATH-Perturb: Benchmarking LLMs’ Math Reasoning Abilities Against Hard Perturbations Kaixuan Huang, Jiacheng Guo, Zihao Li, Xiang Ji, Jiawei Ge, Wenzhe Li, Yingqing Guo, Tianle Cai, Hui Yuan, Runzhe Wang, Yue Wu, Ming Yin, Shange Tang, Yangsibo Huang, Chi Jin, Xinyun Chen, Chiyuan Zhang, Mengdi Wang

NeurIPSW 2024 Benign Overfitting in Out-of-Distribution Generalization of Linear Models Shange Tang, Jiayun Wu, Jianqing Fan, Chi Jin

ICLR 2024 Maximum Likelihood Estimation Is All You Need for Well-Specified Covariate Shift Jiawei Ge, Shange Tang, Jianqing Fan, Cong Ma, Chi Jin

ICLR 2024 On the Provable Advantage of Unsupervised Pretraining Jiawei Ge, Shange Tang, Jianqing Fan, Chi Jin

NeurIPSW 2023 Maximum Likelihood Estimation Is All You Need for Well-Specified Covariate Shift Jiawei Ge, Shange Tang, Jianqing Fan, Cong Ma, Chi Jin