Cite
Notes
Only stored in your browser.
Attribution
Privasis: Synthesizing the Largest "Public" Private Dataset from Scratch
arXiv 2026
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
arXiv 2025
from 2 papers
Yejin Choi
professor
Bohan Lyu
Chi Jin
Danqi Chen
G. Edward Suh
Hanshen Xiao
Haoyu Zhao
Hongzhou Lin
Hyunwoo Kim
JaeHun Jung