Yinya Huang
Yinya Huang
Home
News
Featured
Publications
Service
Awards
Light
Dark
Automatic
Yingjia Wan
Latest
FormalAlign: Automated Alignment Evaluation for Autoformalization
Process-Driven Autoformalization in Lean 4
AUTOCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation
Cite
×