0

Jingruo Sun

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

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

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Bohan Lyu

1 shared paper

Chi Jin

1 shared paper

Danqi Chen

professor

1 shared paper

David Acuna

1 shared paper

Haoyu Zhao

1 shared paper

Hongzhou Lin

1 shared paper

Jiawei Ge

1 shared paper

Jiayun Wu

1 shared paper

Jiri Gesi

1 shared paper

Jui-Hui Chung

1 shared paper