---
title: "Who cites Yinya Huang — 173 papers of our library"
description: "173 papers of the Elamur Research library cite the works of Yinya Huang, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/yinya-huang/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yinya-huang/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Yinya Huang](https://md.research.elamur.ai/free/en/authors/yinya-huang/) / cited by

# Who cites Yinya Huang

234 citations of their works from 173 papers of our library (of the 149,439 whose bibliographies we read) · 30 with a page here, the most cited first · [← Yinya Huang](https://md.research.elamur.ai/free/en/authors/yinya-huang/)

1. [**MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models arXiv:2309.12284**Longhui Yu, Weisen Jiang, Han Shi, et al.*2023 · 565 citations*](https://md.research.elamur.ai/free/en/papers/yu-2023-metamath-bootstrap-your-own-mathematical/)
2. [**DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition arXiv:2504.21801**Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.*2025 · 122 citations*](https://md.research.elamur.ai/free/en/papers/ren-2025-deepseek-prover-v2-advancing-formal/)
3. [**Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language Models arXiv:2501.09686**Fengli Xu, Qianyue Hao, Zefang Zong, et al.*2025 · 120 citations*](https://md.research.elamur.ai/free/en/papers/xu-2025-towards-large-reasoning-models-survey/)
4. **[AlphaMath Almost Zero: Process Supervision without Process](https://md.research.elamur.ai/free/en/papers/chen-2024-alphamath-almost-zero-process-supervision/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Guoxin Chen, Minpeng Liao, Chengxi Li, et al.*2024 · 120 citations*
5. [**DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search arXiv:2408.08152**Huajian Xin, Z. Z. Ren, Junxiao Song, et al.*2024 · 116 citations*](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-v1-5-harnessing/)
6. [**DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data arXiv:2405.14333**Huajian Xin, Daya Guo, Zhihong Shao, et al.*2024 · 111 citations*](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-advancing-theorem-proving/)
7. **[PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition](https://md.research.elamur.ai/free/en/papers/tsoukalas-2024-putnambench-evaluating-neural-theorem-provers/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**George Tsoukalas, Jasper Lee, John Jennings, et al.*2024 · 93 citations*
8. [**Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning arXiv:2504.11354**Haiming Wang, Mert Unsal, Xiaohan Lin, et al.*2025 · 92 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-kimina-prover-preview-large-formal/)
9. **[Lean Workbook: A large-scale Lean problem set formalized from natural language math problems](https://md.research.elamur.ai/free/en/papers/ying-2024-lean-workbook-large-scale-lean/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.*2024 · 80 citations*
10. [**A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well? arXiv:2503.24235**Qiyuan Zhang, Fuyuan Lyu, Zexu Sun, et al.*2025 · 79 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2025-survey-test-time-scaling-large/)
11. **[AutoPSV: Automated Process-Supervised Verifier](https://md.research.elamur.ai/free/en/papers/lu-2024-autopsv-automated-process-supervised-verifier/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Jianqiao Lu, Zhiyang Dou, Hongru Wang, et al.*2024 · 28 citations*
12. [**DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning arXiv:2310.02954**Jing Xiong, Zixuan Li, Chuanyang Zheng, et al.*2023 · 27 citations*](https://md.research.elamur.ai/free/en/papers/xiong-2023-dq-lore-dual-queries-low/)
13. **[Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective](https://md.research.elamur.ai/free/en/papers/yu-2025-chain-reasoning-unified-mathematical-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yiyao Yu, Yuxiang Zhang, Dongdong Zhang, et al.*2025 · 23 citations*
14. **[AI4Research: A Survey of Artificial Intelligence for Scientific Research](https://md.research.elamur.ai/free/en/papers/chen-2025-ai4research-survey-artificial-intelligence/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Mingda Yang, Libo Qin, et al.*2025 · 21 citations*
15. [**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/)
16. **[ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data](https://md.research.elamur.ai/free/en/papers/liu-2025-atlas-autoformalizing-theorems-through-lifting/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.*2025 · 16 citations*
17. **[CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization](https://md.research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.*2026 · 12 citations*
18. [**REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning arXiv:2505.20613**Ziju Shen, Naohao Huang, Fanyi Yang, et al.*2025 · 10 citations*](https://md.research.elamur.ai/free/en/papers/shen-2025-real-prover-retrieval-augmented-lean/)
19. **[Theorem Prover as a Judge for Synthetic Data Generation](https://md.research.elamur.ai/free/en/papers/leang-2025-theorem-prover-as-judge-synthetic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.*2025 · 9 citations*
20. **[PRBench: Large-Scale Expert Rubrics for Evaluating High-Stakes Professional Reasoning](https://md.research.elamur.ai/free/en/papers/akyurek-2026-prbench-large-scale-expert-rubrics/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Afra Feyza Akyürek, Advait Gosai, Chen Bo Calvin Zhang, et al.*2026 · 7 citations*
21. **[Korean Canonical Legal Benchmark: Toward Knowledge-Independent Evaluation of LLMs' Legal Reasoning Capabilities](https://md.research.elamur.ai/free/en/papers/oh-2026-korean-canonical-legal-benchmark-knowledge/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Hongseok Oh, Wonseok Hwang, Kyoung-Woon On*2026 · 3 citations*
22. **[Accurate Legal Reasoning at Scale: Neuro-Symbolic Offloading and Structural Auditability for Robust Legal Adjudication](https://md.research.elamur.ai/free/en/papers/sojka-2026-accurate-legal-reasoning-scale-neuro/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Stanisław Sójka, Witold Kowalczyk*2026 · 2 citations*
23. **[OpenExempt: A Diagnostic Benchmark for Legal Reasoning and a Framework for Creating Custom Benchmarks on Demand](https://md.research.elamur.ai/free/en/papers/servantez-2026-openexempt-diagnostic-benchmark-legal-reasoning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Sergio Servantez, Sarah B. Lawsky, Rajiv Jain, et al.*2026 · 2 citations*
24. [**BenGER Platform: A Collaborative Web Platform for End-to-End Benchmarking of German Legal Tasks arXiv:2604.13583**Sebastian Nagl, Matthias Grabmair*2026 · 1 citation*](https://md.research.elamur.ai/free/en/papers/nagl-2026-benger-platform-collaborative-web-platform/)
25. **[Who Endorsed It? Measuring Authority Bias Across Expertise Levels in Language Models](https://md.research.elamur.ai/free/en/papers/mammen-2026-who-endorsed-it-measuring-authority/) [Workshop on Generation, Evaluation and Metrics (GEM)](https://md.research.elamur.ai/free/en/venues/gem/)**Priyanka Mary Mammen, Emil Joswin, Shankar Venkitachalam*2026 · 1 citation*
26. [**BenGER: Benchmarking LLM Systems on Subsumption-Based Legal Reasoning in German Law arXiv:2605.28183**Sebastian Nagl, Ann-Kristin Mayrhofer, Martin Heidebach, et al.*2026*](https://md.research.elamur.ai/free/en/papers/nagl-2026-benger-benchmarking-llm-systems-subsumption/)
27. **[FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean](https://md.research.elamur.ai/free/en/papers/meadows-2026-formalscience-scalable-human-loop-autoformalisation/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jordan Meadows, Lan Zhang, Andre Freitas*2026*
28. **[Generalizable LLM Learning of Graph Synthetic Data with Post-training Alignment](https://md.research.elamur.ai/free/en/papers/zhang-2026-generalizable-llm-learning-graph-synthetic/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yizhuo Zhang, Heng Wang, Shangbin Feng, et al.*2026*
29. [**GradeLegal: Automated Grading for German Legal Cases arXiv:2605.21076**Abdullah Al Zubaer, Lorenz Wendlinger, Simon Alexander Nonn, et al.*2026*](https://md.research.elamur.ai/free/en/papers/zubaer-2026-gradelegal-automated-grading-german-legal/)
30. **[RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function Library](https://md.research.elamur.ai/free/en/papers/wang-2026-rv-syn-rational-verifiable-mathematical/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Jiapeng Wang, Jinhao Jiang, Zhiqiang Zhang, et al.*2026*

143 more citing papers of our library have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/authors/yinya-huang/) — Yinya Huang