Yinya Huang
Yinya Huang
Home
News
Featured
Publications
Experience
Service
Awards
Light
Dark
Automatic
Xiaohan Lin
Latest
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving (NeurIPS 2024 D&B Track)
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)
Cite
×