Jing Xiong

Sun Yat-Sen University

1

Affiliations

Affiliations

Sun Yat-Sen University

1

papers

10

total citations

papers (1)

FormalAlign: Automated Alignment Evaluation for Autoformalization