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)

Optimal Aggregation of Prediction Intervals under Unsupervised Domain Shift. - Jiawei Ge 003; Debarghya Mukherjee; Jianqing Fan (NeurIPS, 2024)

Towards Principled Superhuman AI for Multiplayer Symmetric Games. - Jiawei Ge 003; Yuanhao Wang 001; Wenzhe Li; Chi Jin 001 (CoRR, 2024)

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)

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

Frontier LLMs Still Struggle with Simple Reasoning Tasks. - Alan Malek; Jiawei Ge 003; Nevena Lazic; Chi Jin 001; András György 001; Csaba Szepesvári (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)