Shange Tang

According to our database, Shange Tang authored at least 14 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI.

Bohan Lyu, Yucheng Yang, Siqiao Huang, Jiaru Zhang, Qixin Xu, Xinghan Li, Xinyang Han, Yicheng Zhang, Huaqing Zhang, Runhan Huang, Kaicheng Yang, Zitao Chen, Wentao Guo, Junlin Yang, Xinyue Ai, Wenhao Chai, Yadi Cao, Ziran Yang, Kun Wang, Dapeng Jiang, Huan-ang Gao, Shange Tang, Chengshuai Shi, Simon S. Du, Max Simchowitz, Jiantao Jiao, Dawn Song, Chi Jin

CoRR, May, 2026

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover.

Jui-Hui Chung, Hongzhou Lin, Lai Jiang, Shange Tang, Chi Jin

CoRR, April, 2026

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification.

Zenan Li, Ziran Yang, Deyuan He, Haoyu Zhao, Andrew Zhao, Shange Tang, Kaiyu Yang, Aarti Gupta, Zhendong Su, Chi Jin

CoRR, March, 2026

2025

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

CoRR, August, 2025

Principled Out-of-Distribution Generalization via Simplicity.

Jiawei Ge, Amanda Wang, Shange Tang, Chi Jin

CoRR, May, 2025

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities.

Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora

CoRR, May, 2025

Is Elo Rating Reliable? A Study Under Model Misspecification.

Shange Tang, Yuanhao Wang, Chi Jin

CoRR, February, 2025

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.

Yong Lin, Shange Tang, Bohan Lyu, Jiayun Wu, Hongzhou Lin, Kaiyu Yang, Jia Li, Mengzhou Xia, Danqi Chen, Sanjeev Arora, Chi Jin

CoRR, February, 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

Proceedings of the Forty-second International Conference on Machine Learning, 2025

Benign Overfitting in Out-of-Distribution Generalization of Linear Models.

Shange Tang, Jiayun Wu, Jianqing Fan, Chi Jin

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Maximum Likelihood Estimation is All You Need for Well-Specified Covariate Shift.

Jiawei Ge, Shange Tang, Jianqing Fan, Cong Ma, Chi Jin

Proceedings of the Twelfth International Conference on Learning Representations, 2024

On the Provable Advantage of Unsupervised Pretraining.

Jiawei Ge, Shange Tang, Jianqing Fan, Chi Jin

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2022

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, Dawn Song

CoRR, 2022

2019

Second-order Information in First-order Optimization Methods.

Yuzheng Hu, Licong Lin, Shange Tang

CoRR, 2019