Sun, Jingruo

2 publications

ICLR 2026 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

ICML 2025 Wait-Less Offline Tuning and Re-Solving for Online Decision Making Jingruo Sun, Wenzhi Gao, Ellen Vitercik, Yinyu Ye