Jingruo Sun

According to our database, Jingruo Sun authored at least 3 papers in 2025.

Collaborative distances:

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

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

SAPPHIRE: Preconditioned Stochastic Variance Reduction for Faster Large-Scale Statistical Learning.

Jingruo Sun, Zachary Frangella, Madeleine Udell

CoRR, January, 2025

Wait-Less Offline Tuning and Re-solving for Online Decision Making.

Jingruo Sun, Wenzhi Gao, Ellen Vitercik, Yinyu Ye

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