🧑‍🔬 Yinya Huang

🏛️ Affiliations

🎓City University of Hong KongHong Kong · China2023–2026 · 13 paperscurrent🎓ETH ZurichZurich · Switzerland2025–2026 · 8 papersEmployment since 2025 · Postdoctoral Researcher, Department of Computer Sciencecurrent🎓Sun Yat-sen UniversityGuangzhou · China2021–2023 · 8 papers🎓City University of Hong Kong, Shenzhen Research InstituteShenzhen · China2023–2024 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 2 more institutions on single bylines are not listed.

🧭 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📅 Works by year

2020s

📄 Papers

The most cited first (OpenAlex and our library).

1. FormalAlign: Automated Alignment Evaluation for Autoformalization (2024 · 18 citations)
   Autoformalization uses models to turn informal mathematical statements into formal code such as Lean 4. A key weakness is evaluation. Compilers only confirm that the output is valid code, and BLEU or BERTscore only measure surface or embedding similarity. Neither checks whether the formal statement actually means the…
2. Test of Time: Rethinking Temporal Signal of Benchmark Contamination (2026 · 1 citation)
   Researchers often treat a drop in LLM accuracy on questions published after a model's training cutoff as evidence that older questions leaked into its training data.

All works

8 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them.

1. LEGO-Prover: Neural Theorem Proving with Growing Libraries ↗arXiv:2310.00656 · no summary yetHaiming Wang et al.2023 · 79 citations
2. LEXam: Benchmarking Legal Reasoning on 340 Law Exams ↗arXiv:2505.12864 · no summary yetYu Fan et al.2025 · 50 citations
3. Process-Driven Autoformalization in Lean 4 ↗arXiv:2406.01940 · no summary yetJianqiao Lu et al.2024 · 33 citations
4. MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data ↗arXiv:2402.08957 (ICLR 2024 spotlight) · no summary yetYinya Huang et al.2024 · 29 citations
5. TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models ↗Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing · no summary yetJing Xiong et al.2023 · 21 citations
6. Proving Theorems Recursively ↗arXiv:2405.14414 · no summary yetHaiming Wang et al.2024 · 19 citations
7. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
8. Test of Time: Rethinking Temporal Signal of Benchmark ContaminationAnnual Meeting of the Association for Computational Linguistics (ACL)Terry Jingchen Zhang, Gopal Dev, Ning Wang, et al.2026 · 1 citation

🤝 Co-authors here

12 of 13 co-authors with a page, the most papers together first.

• Bernhard Schölkopf
• Jianqiao Lu
• Jing Xiong
• Keenan Samway
• Mrinmaya Sachan
• Ning Wang
• Punya Syon Pandey
• Terry Jingchen Zhang
• Wenyuan Jiang
• Yingjia Wan
• Zhengying Liu
• Zhijiang Guo

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

• Annual Meeting of the Association for Computational Linguistics (ACL): ACL 2026
• Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing

🔗 Cited by

Papers of our library cite their works 234 times (of the 149,439 papers whose bibliographies we read); 24 citing papers with a page here →.

Updated 1 November 2026

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/yinya-huang/