Yinya Huang
Yinya Huang
Home
News
Featured
Publications
Service
Awards
Light
Dark
Automatic
Jianqiao Lu
Latest
FormalAlign: Automated Alignment Evaluation for Autoformalization
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)
Proving Theorems Recursively
Process-Driven Autoformalization in Lean 4
AUTOCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation
Cite
×