Scholar
Shange Tang
Google Scholar ID: UmITOE0AAAAJ
Princeton University
Citations & Impact
Citations
179
H-index
6
i10-index
5
Publications
11
Co-authors
13
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Selected Works:
- - 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. “Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.”, arXiv preprint arXiv:2508.03613 (2025).
- - Yong Lin*, Shange Tang*, Bohan Lyu, Jiayun Wu, Hongzhou Lin, Kaiyu Yang, Jia Li, Mengzhou Xia, Danqi Chen, Sanjeev Arora, Chi Jin. “Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.”, Conference on Language Modeling (COLM) 2025.
- - Shange Tang*, Jiayun Wu*, Jianqing Fan, Chi Jin. “Benign Overfitting in Out-of-Distribution Generalization of Linear Models.”, International Conference on Learning Representations (ICLR) 2025.
- - Shange Tang, Soham Jana, Jianqing Fan. “Factor Adjusted Spectral Clustering for Mixture Models.”, arXiv preprint arXiv:2408.12564 (2024).
- - Jiawei Ge*, Shange Tang*, Jianqing Fan, Cong Ma, Chi Jin. “Maximum Likelihood Estimation is All You Need for Well-Specified Covariate Shift.”, International Conference on Learning Representations (ICLR) 2024.
- - Jiawei Ge*, Shange Tang*, Jianqing Fan, Chi Jin. “On the Provable Advantage of Unsupervised Pretraining.”, International Conference on Learning Representations (ICLR) 2024, spotlight.
- Invited Talks:
- - “Goedel-Prover-V2: State-of-the-art performance in Automated Mathematical Theorem Proving”, Centaur AI Institute, Neural-Symbolic AI Summer School, Aug 2025.
- - “Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving”, TTIC Machine Learning Seminar, Mar 2025.
- - “Benign Overfitting in Out-of-Distribution Generalization of Linear Models”, Simons Institute for the Theory of Computing, Domain Adaptation and Related Areas workshop poster session, Nov 2024.
- - “Maximum Likelihood Estimation is All You Need for Well-Specified Covariate Shift”, UIUC Machine Learning Seminar, Mar 2024.
Research Experience
- Research projects include automated theorem proving, out-of-distribution generalization, and factor models.
Education
- Ph.D.: Princeton University, Department of Operations Research and Financial Engineering, supervised by Professor Jianqing Fan and Professor Chi Jin (2021-present). Bachelor's degree: Peking University, School of Mathematical Sciences (2021).
Background
- Research interests: theory and applications of statistics and machine learning. Professional field: Operations Research and Financial Engineering.
