1 citations · 1 across the 7 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.LG2025
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Yong Lin, Shange Tang, Bohan Lyu +17
We introduce Goedel-Prover-V2, a series of open-source language models that set a new state-of-the-art in automated theorem proving. Built on the standard expert iteration and rein…
stat.ML2025
Principled Out-of-Distribution Generalization via Simplicity
Jiawei Ge, Amanda Wang, Shange Tang +1
Modern foundation models exhibit remarkable out-of-distribution (OOD) generalization, solving tasks far beyond the support of their training data. However, the theoretical principl…
math.ST2025
Covariates-Adjusted Mixed-Membership Estimation: A Novel Network Model with Optimal Guarantees
Jianqing Fan, Jiawei Ge, Jikai Hou
This paper addresses the problem of mixed-membership estimation in networks, where the goal is to efficiently estimate the latent mixed-membership structure from the observed netwo…