Yinya Huang
Yinya Huang
Home
News
Featured
Publications
Experience
Service
Awards
Light
Dark
Automatic
FormalAlign: Automated Alignment Evaluation for Autoformalization
Jianqiao Lu
,
Yingjia Wan
,
Yinya Huang
,
Jing Xiong
,
Zhengying Liu
,
Zhijiang Guo
May, 2024
PDF
Cite
URL
Code
Type
Preprint
Publication
arXiv preprint arXiv:2410.10135
Yinya Huang
Cite
×