Sun, Jingruo

1. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
   2025/08/05 by Yong Lin, Shange Tang, Lin, Yong +37 · 2 voices · 36 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.LG
2. SAPPHIRE: Preconditioned Stochastic Variance Reduction for Faster Large-Scale Statistical Learning
   2025/01/27 by Sun, Jingruo, Zachary Frangella, Madeleine Udell +2 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Gaussian Processes and Bayesian Inference #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Speech Recognition and Synthesis
3. Convergence of the Deep Galerkin Method for Mean Field Control Problems
   2024/05/22 by Hofgard, William, Sun, Jingruo, Cohen, Asaf · 1 citation
   #35A35 #35Q89 #49L12 #49N10 #60J27 #68T07 #91A07 #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (stat.ML) #Optimization and Control (math.OC)