🧑‍🔬 Who cites Yinya Huang

234 citations of their works from 173 papers of our library (of the 149,439 whose bibliographies we read) · 24 with a page here, the most cited first · ← Yinya Huang

1. MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsarXiv:2309.12284Longhui Yu, Weisen Jiang, Han Shi, et al.2023 · 565 citations
2. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionarXiv:2504.21801Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025 · 122 citations
3. AlphaMath Almost Zero: Process Supervision without ProcessConference on Neural Information Processing Systems (NeurIPS)Guoxin Chen, Minpeng Liao, Chengxi Li, et al.2024 · 120 citations
4. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearcharXiv:2408.08152Huajian Xin, Z. Z. Ren, Junxiao Song, et al.2024 · 116 citations
5. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
6. AutoPSV: Automated Process-Supervised VerifierConference on Neural Information Processing Systems (NeurIPS)Jianqiao Lu, Zhiyang Dou, Hongru Wang, et al.2024 · 28 citations
7. DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context LearningarXiv:2310.02954Jing Xiong, Zixuan Li, Chuanyang Zheng, et al.2023 · 27 citations
8. Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm PerspectiveAnnual Meeting of the Association for Computational Linguistics (ACL)Yiyao Yu, Yuxiang Zhang, Dongdong Zhang, et al.2025 · 23 citations
9. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
10. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
11. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
12. CriticLean: Critic-Guided Reinforcement Learning for Mathematical FormalizationAnnual Meeting of the Association for Computational Linguistics (ACL)Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.2026 · 12 citations
13. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
14. Theorem Prover as a Judge for Synthetic Data GenerationAnnual Meeting of the Association for Computational Linguistics (ACL)Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.2025 · 9 citations
15. PRBench: Large-Scale Expert Rubrics for Evaluating High-Stakes Professional ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Afra Feyza Akyürek, Advait Gosai, Chen Bo Calvin Zhang, et al.2026 · 7 citations
16. Korean Canonical Legal Benchmark: Toward Knowledge-Independent Evaluation of LLMs' Legal Reasoning CapabilitiesConference of the European Chapter of the Association for Computational Linguistics (EACL)Hongseok Oh, Wonseok Hwang, Kyoung-Woon On2026 · 3 citations
17. Accurate Legal Reasoning at Scale: Neuro-Symbolic Offloading and Structural Auditability for Robust Legal AdjudicationAnnual Meeting of the Association for Computational Linguistics (ACL)Stanisław Sójka, Witold Kowalczyk2026 · 2 citations
18. OpenExempt: A Diagnostic Benchmark for Legal Reasoning and a Framework for Creating Custom Benchmarks on DemandFindings of the Association for Computational LinguisticsSergio Servantez, Sarah B. Lawsky, Rajiv Jain, et al.2026 · 2 citations
19. BenGER Platform: A Collaborative Web Platform for End-to-End Benchmarking of German Legal TasksarXiv:2604.13583Sebastian Nagl, Matthias Grabmair2026 · 1 citation
20. Who Endorsed It? Measuring Authority Bias Across Expertise Levels in Language ModelsWorkshop on Generation, Evaluation and Metrics (GEM)Priyanka Mary Mammen, Emil Joswin, Shankar Venkitachalam2026 · 1 citation
21. BenGER: Benchmarking LLM Systems on Subsumption-Based Legal Reasoning in German LawarXiv:2605.28183Sebastian Nagl, Ann-Kristin Mayrhofer, Martin Heidebach, et al.2026
22. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
23. GradeLegal: Automated Grading for German Legal CasesarXiv:2605.21076Abdullah Al Zubaer, Lorenz Wendlinger, Simon Alexander Nonn, et al.2026
24. RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function LibraryFindings of the Association for Computational LinguisticsJiapeng Wang, Jinhao Jiang, Zhiqiang Zhang, et al.2026

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

↑ back to top

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