Wait-Less Offline Tuning and Re-solving for Online Decision Making. - Jingruo Sun; Wenzhi Gao; Ellen Vitercik; Yinyu Ye 001 (CoRR, 2024)

SAPPHIRE: Preconditioned Stochastic Variance Reduction for Faster Large-Scale Statistical Learning. - Jingruo Sun; Zachary Frangella; Madeleine Udell (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)