--- title: "Yinya Huang — author profile and papers — Elamur Research" description: "Yinya Huang, City University of Hong Kong: 3 papers on Elamur Research (2023–2026), h-index 7 — affiliations, topics, co-authors and who…" canonical: "https://research.elamur.ai/free/en/authors/yinya-huang/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yinya-huang/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Yinya Huang # Yinya Huang Yinya Huang has 3 papers in our library, in 2023–2026, most of them on [Evaluation & benchmarks](https://md.research.elamur.ai/free/en/topics/evaluation-benchmarks/), [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Jing Xiong](https://md.research.elamur.ai/free/en/authors/jing-xiong/), [Zhengying Liu](https://md.research.elamur.ai/free/en/authors/zhengying-liu/), [Bernhard Schölkopf](https://md.research.elamur.ai/free/en/authors/bernhard-scholkopf/). 3 papers in our library · 2023–2026 [OpenAlex](https://openalex.org/A5045946026) · [ORCID](https://orcid.org/0000-0002-0686-0832) · [**h-index 7**](https://openalex.org/authors/A5045946026) · [32 works](https://openalex.org/works?filter=author.id:A5045946026) · [159 citations](https://openalex.org/works?filter=author.id:A5045946026&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 3 works in our library](https://md.research.elamur.ai/free/en/authors/yinya-huang/#papers) · [🔗 Cited 234 times in our library](https://md.research.elamur.ai/free/en/authors/yinya-huang/cited-by/) · [5 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #7968](https://md.research.elamur.ai/free/en/paper-stars/page/80/#star-7968) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Yinya+Huang) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Yinya+Huang) · [dblp](https://dblp.org/search?q=Yinya+Huang) · [ACL Anthology](https://aclanthology.org/search/?q=Yinya+Huang) ## Affiliations [🎓**City University of Hong Kong** Hong Kong · China 2023–2026 · 13 papers*current*](https://md.research.elamur.ai/free/en/universities/city-university-of-hong-kong/) · [🎓**ETH Zurich** Zurich · Switzerland 2025–2026 · 8 papersEmployment since 2025 · Postdoctoral Researcher, Department of Computer Science*current*](https://md.research.elamur.ai/free/en/universities/eth-zurich/) · [🎓**Sun Yat-sen University** Guangzhou · China 2021–2023 · 8 papers](https://md.research.elamur.ai/free/en/universities/sun-yat-sen-university/) · [🎓**City University of Hong Kong, Shenzhen Research Institute** Shenzhen · China 2023–2024 · 2 papers](https://md.research.elamur.ai/free/en/universities/city-university-of-hong-kong-shenzhen-research-institute/) 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. 📚 Shelves 6 The field of science this work belongs to (OpenAlex fields).[Computer Science · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Arts and Humanities · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Language and Linguistics · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Information Systems · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) 🧭 Topics 2 Research subjects and languages the work is about.[Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) · [Evaluation & benchmarks · 1 work](https://md.research.elamur.ai/free/en/topics/evaluation-benchmarks/) ## Works by year ### 2020s [**2026** 1 paper](https://md.research.elamur.ai/free/en/authors/yinya-huang/year/2026/) · [**2024** 1 paper](https://md.research.elamur.ai/free/en/authors/yinya-huang/year/2024/) · [**2023** 1 paper](https://md.research.elamur.ai/free/en/authors/yinya-huang/year/2023/) ## Papers The most cited first (OpenAlex and our library). 1. **[LEGO-Prover: Neural Theorem Proving with Growing Libraries](https://md.research.elamur.ai/free/en/papers/wang-2023-lego-prover-neural-theorem-proving/)** *(2023 · 79 citations)* Formal theorem proving is still hard for large language models. Existing LLM-based provers often fail on competition problems at middle-school level. These "plain" provers write each proof as one long monolithic block and treat the available theorem library as fixed. So a lemma proved for one problem cannot help with… 2. **[FormalAlign: Automated Alignment Evaluation for Autoformalization](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-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… 3. **[Test of Time: Rethinking Temporal Signal of Benchmark Contamination](https://md.research.elamur.ai/free/en/papers/zhang-2026-test-time-rethinking-temporal-signal/)** *(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; 3 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**Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.*2023 · 79 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-lego-prover-neural-theorem-proving/) 2. **[LEXam: Benchmarking Legal Reasoning on 340 Law Exams ↗](https://arxiv.org/abs/2505.12864) arXiv:2505.12864 · no summary yet**Yu Fan et al.*2025 · 50 citations* 3. **[Process-Driven Autoformalization in Lean 4 ↗](https://arxiv.org/abs/2406.01940) arXiv:2406.01940 · no summary yet**Jianqiao Lu et al.*2024 · 33 citations* 4. **[MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data ↗](https://arxiv.org/abs/2402.08957) arXiv:2402.08957 (ICLR 2024 spotlight) · no summary yet**Yinya Huang et al.*2024 · 29 citations* 5. **[TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models ↗](https://aclanthology.org/2023.emnlp-main.711/) Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing · no summary yet**Jing Xiong et al.*2023 · 21 citations* 6. **[Proving Theorems Recursively ↗](https://arxiv.org/abs/2405.14414) arXiv:2405.14414 · no summary yet**Haiming Wang et al.*2024 · 19 citations* 7. [**FormalAlign: Automated Alignment Evaluation for Autoformalization arXiv:2410.10135**Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.*2024 · 18 citations*](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/) 8. **[Test of Time: Rethinking Temporal Signal of Benchmark Contamination](https://md.research.elamur.ai/free/en/papers/zhang-2026-test-time-rethinking-temporal-signal/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Terry Jingchen Zhang, Gopal Dev, Ning Wang, et al.*2026 · 1 citation* ## Co-authors here 12 of 22 co-authors with a page, the most papers together first. - [Jing Xiong](https://md.research.elamur.ai/free/en/authors/jing-xiong/) ×2 - [Zhengying Liu](https://md.research.elamur.ai/free/en/authors/zhengying-liu/) ×2 - [Bernhard Schölkopf](https://md.research.elamur.ai/free/en/authors/bernhard-scholkopf/) - [Chuanyang Zheng](https://md.research.elamur.ai/free/en/authors/chuanyang-zheng/) - [Enze Xie](https://md.research.elamur.ai/free/en/authors/enze-xie/) - [Haiming Wang](https://md.research.elamur.ai/free/en/authors/haiming-wang/) - [Han Shi](https://md.research.elamur.ai/free/en/authors/han-shi/) - [Huajian Xin](https://md.research.elamur.ai/free/en/authors/huajian-xin/) - [Jian Yin](https://md.research.elamur.ai/free/en/authors/jian-yin/) - [Jianqiao Lu](https://md.research.elamur.ai/free/en/authors/jianqiao-lu/) - [Keenan Samway](https://md.research.elamur.ai/free/en/authors/keenan-samway/) - [Lin Li](https://md.research.elamur.ai/free/en/authors/lin-li/) ## 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)](https://md.research.elamur.ai/free/en/venues/acl/): [ACL 2026](https://md.research.elamur.ai/free/en/venues/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); [30 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/yinya-huang/cited-by/). Updated 2 November 2026