Yinya Huang
Yinya Huang
Home
News
Featured
Publications
Experience
Service
Awards
Light
Dark
Automatic
Zhenguo Li
Latest
Proving Theorems Recursively
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data (ICLR 2024 Spotlight)
LEGO-Prover: Neural Theorem Proving with Growing Libraries
Cite
×