影响力指数

34.03/100

前 20%

全站排名 #12,853

发表论文2 篇

平均评分6.3

年均产出1.0 篇/年

Jingruo Sun

PhD student@Princeton University·美国·OpenReview

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

ICLR 2026Poster

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

ICML 2025Poster

合作者 (20)