Shange Tang - RankMe

16 papers A* 4Journal 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification. CoRR Zenan Li, Ziran Yang, Deyuan He, Haoyu Zhao, Andrew Zhao, Shange Tang, Kaiyu Yang, Aarti Gupta, Zhendong Su, Chi Jin
2025	A*	`conf`	Benign Overfitting in Out-of-Distribution Generalization of Linear Models. ICLR Shange Tang, Jiayun Wu, Jianqing Fan, Chi Jin
2025	J	`jnl`	Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. CoRR 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
2025	J	`jnl`	Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving. CoRR Yong Lin, Shange Tang, Bohan Lyu, Jiayun Wu, Hongzhou Lin, Kaiyu Yang, Jia Li, Mengzhou Xia, Danqi Chen, Sanjeev Arora, Chi Jin
2025	J	`jnl`	Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities. CoRR Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora
2025	J	`jnl`	Is Elo Rating Reliable? A Study Under Model Misspecification. CoRR Shange Tang, Yuanhao Wang, Chi Jin
2025	A*	`conf`	MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbations. ICML 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
2025	J	`jnl`	MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbations. CoRR 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
2025	J	`jnl`	Principled Out-of-Distribution Generalization via Simplicity. CoRR Jiawei Ge, Amanda Wang, Shange Tang, Chi Jin
2024	J	`jnl`	Benign Overfitting in Out-of-Distribution Generalization of Linear Models. CoRR Shange Tang, Jiayun Wu, Jianqing Fan, Chi Jin
2024	A*	`conf`	Maximum Likelihood Estimation is All You Need for Well-Specified Covariate Shift. ICLR Jiawei Ge, Shange Tang, Jianqing Fan, Cong Ma, Chi Jin
2024	A*	`conf`	On the Provable Advantage of Unsupervised Pretraining. ICLR Jiawei Ge, Shange Tang, Jianqing Fan, Chi Jin
2023	J	`jnl`	Maximum Likelihood Estimation is All You Need for Well-Specified Covariate Shift. CoRR Jiawei Ge, Shange Tang, Jianqing Fan, Cong Ma, Chi Jin
2023	J	`jnl`	On the Provable Advantage of Unsupervised Pretraining. CoRR Jiawei Ge, Shange Tang, Jianqing Fan, Chi Jin
2022	J	`jnl`	Is Vertical Logistic Regression Privacy-Preserving? A Comprehensive Privacy Analysis and Beyond. CoRR Yuzheng Hu, Tianle Cai, Jinyong Shan, Shange Tang, Chaochao Cai, Ethan Song, Bo Li, Dawn Song
2019	J	`jnl`	Second-order Information in First-order Optimization Methods. CoRR Yuzheng Hu, Licong Lin, Shange Tang