Second-order Information in First-order Optimization Methods. - Yuzheng Hu; Licong Lin; Shange Tang (CoRR, 2019)

Is Vertical Logistic Regression Privacy-Preserving? A Comprehensive Privacy Analysis and Beyond. - Yuzheng Hu; Tianle Cai; Jinyong Shan; Shange Tang; Chaochao Cai; Ethan Song; Bo Li 026; Dawn Song (CoRR, 2022)

On the Provable Advantage of Unsupervised Pretraining. - Jiawei Ge 003; Shange Tang; Jianqing Fan; Chi Jin 001 (ICLR, 2024)

Maximum Likelihood Estimation is All You Need for Well-Specified Covariate Shift. - Jiawei Ge 003; Shange Tang; Jianqing Fan; Cong Ma 001; Chi Jin 001 (ICLR, 2024)

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

MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbations. - Kaixuan Huang; Jiacheng Guo; Zihao Li; Xiang Ji; Jiawei Ge 003; Wenzhe Li; Yingqing Guo; Tianle Cai; Hui Yuan 002; Runzhe Wang; Yue Wu; Ming Yin; et al. (CoRR, 2025)

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving. - Yong Lin; Shange Tang; Bohan Lyu 001; Jiayun Wu; Hongzhou Lin; Kaiyu Yang; Jia Li; Mengzhou Xia; Danqi Chen 001; Sanjeev Arora; Chi Jin 001 (CoRR, 2025)

Is Elo Rating Reliable? A Study Under Model Misspecification. - Shange Tang; Yuanhao Wang 001; Chi Jin 001 (CoRR, 2025)

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities. - Haoyu Zhao; Yihan Geng; Shange Tang; Yong Lin; Bohan Lyu 001; Hongzhou Lin; Chi Jin 001; Sanjeev Arora (CoRR, 2025)

Principled Out-of-Distribution Generalization via Simplicity. - Jiawei Ge 003; Amanda Wang; Shange Tang; Chi Jin 001 (CoRR, 2025)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. - Yong Lin; Shange Tang; Bohan Lyu 001; Ziran Yang; Jui-Hui Chung; Haoyu Zhao; Lai Jiang; Yihan Geng; Jiawei Ge 003; Jingruo Sun; Jiayun Wu; Jiri Gesi; et al. (CoRR, 2025)