Elamur Research⌕
☰
home / authors / Huaiyuan Ying / cited by

Who cites Huaiyuan Ying

537 citations of their works from 453 papers of our library (of the 149,439 whose bibliographies we read) · 124 with a page here, the most cited first · page 1 of 2 · 1–100 · ← Huaiyuan Ying

1 2

  1. MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding BenchmarkConference on Neural Information Processing Systems (NeurIPS)Yubo Wang, Xueguang Ma, Ge Zhang, et al.2024 · 761 citations
  2. How Far Are We to GPT-4V? Closing the Gap to Commercial Multimodal Models with Open-Source SuitesScience China Information SciencesZhe Chen, Weiyun Wang, Hao Tian, et al.2024 · 541 citations
  3. Tulu 3: Pushing Frontiers in Open Language Model Post-TrainingarXiv:2411.15124Nathan Lambert, Jacob Morrison, Valentina Pyatkin, et al.2024 · 423 citations
  4. Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-ImprovementarXiv:2409.12122An Yang, Beichen Zhang, Binyuan Hui, et al.2024 · 417 citations
  5. InternLM2 Technical ReportarXiv:2403.17297Zheng Cai, Maosong Cao, Haojiong Chen, et al.2024 · 301 citations
  6. Expanding Performance Boundaries of Open-Source Multimodal Models with Model, Data, and Test-Time ScalingarXiv:2412.05271Zhe Chen, Weiyun Wang, Yue Cao, et al.2024 · 287 citations
  7. Chatlaw: A Multi-Agent Legal Assistant based on a Role-Aligned Mixture-of-Experts ArchitecturearXiv:2306.16092Jiaxi Cui; Munan Ning; Zongjian Li; Bohua Chen; Yang Yan; Hao Li; Bin Ling; Yonghong Tian;, Li Yuan2023 · 248 citations
  8. From Crowdsourced Data to High-Quality Benchmarks: Arena-Hard and BenchBuilder PipelinearXiv:2406.11939Tianle Li, Wei-Lin Chiang, Evan Frick, et al.2024 · 210 citations
  9. InternVL3.5: Advancing Open-Source Multimodal Models in Versatility, Reasoning, and EfficiencyarXiv:2508.18265Weiyun Wang, Zhangwei Gao, Lixin Gu, et al.2025 · 179 citations
  10. Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language ModelsScience China Information SciencesQiguang Chen, Libo Qin, Jinhao Liu, et al.2025 · 176 citations
  11. Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language ModelsarXiv:2410.07985Bofei Gao, Feifan Song, Zhe Yang, et al.2024 · 163 citations
  12. A Comprehensive Survey of Small Language Models in the Era of Large Language Models: Techniques, Enhancements, Applications, Collaboration with LLMs, and TrustworthinessACM Transactions on Intelligent Systems and TechnologyFali Wang, Zhiwei Zhang, Xianren Zhang, et al.2024 · 159 citations
  13. Long-context LLMs Struggle with Long In-context LearningarXiv:2404.02060Tianle Li, Ge Zhang, Quy Duc Do, et al.2024 · 138 citations
  14. 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
  15. 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
  16. Skywork-Reward: Bag of Tricks for Reward Modeling in LLMsarXiv:2410.18451Chris Yuhao Liu, Liang Zeng, Jiacai Liu, et al.2024 · 112 citations
  17. JudgeBench: A Benchmark for Evaluating LLM-based JudgesarXiv:2410.12784Sijun Tan, Siyuan Zhuang, Kyle Montgomery, et al.2024 · 101 citations
  18. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
  19. Make Your LLM Fully Utilize the ContextConference on Neural Information Processing Systems (NeurIPS)Shengnan An, Zexiong Ma, Zeqi Lin, et al.2024 · 97 citations
  20. MAmmoTH2: Scaling Instructions from the WebConference on Neural Information Processing Systems (NeurIPS)Xiang Yue, Tuney Zheng, Ge Zhang, et al.2024 · 96 citations
  21. MinerU: An Open-Source Solution for Precise Document Content ExtractionarXiv:2409.18839Bin Wang, Chao Xu, Xiaomeng Zhao, et al.2024 · 95 citations
  22. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
  23. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
  24. Lean Workbook: A large-scale Lean problem set formalized from natural language math problemsConference on Neural Information Processing Systems (NeurIPS)Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.2024 · 80 citations
  25. MMLU-ProX: A Multilingual Benchmark for Advanced Large Language Model EvaluationConference on Empirical Methods in Natural Language Processing (EMNLP)Weihao Xuan, Rui Yang, Heli Qi, et al.2025 · 75 citations
  26. Benchmarking Benchmark Leakage in Large Language ModelsarXiv:2404.18824Ruijie Xu, Zengzhi Wang, Run-Ze Fan, et al.2024 · 73 citations
  27. MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics BenchmarkFindings of the Association for Computational LinguisticsHongwei Liu, Zilong Zheng, Yuxuan Qiao, et al.2024 · 70 citations
  28. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
  29. Inference-Time Scaling for Generalist Reward ModelingarXiv:2504.02495Zijun Liu, Peiyi Wang, Runxin Xu, et al.2025 · 65 citations
  30. Rho-1: Not All Tokens Are What You NeedarXiv:2404.07965Zhenghao Lin, Zhibin Gou, Yeyun Gong, et al.2024 · 59 citations
  31. OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AIConference on Neural Information Processing Systems (NeurIPS)Zhen Huang, Zengzhi Wang, Shijie Xia, et al.2024 · 56 citations
  32. InternLM-XComposer2-4KHD: A Pioneering Large Vision-Language Model Handling Resolutions from 336 Pixels to 4K HDConference on Neural Information Processing Systems (NeurIPS)Xiaoyi Dong, Pan Zhang, Yuhang Zang, et al.2024 · 54 citations
  33. RM-R1: Reward Modeling as ReasoningarXiv:2505.02387Xiusi Chen, Gaotang Li, Ziqi Wang, et al.2025 · 49 citations
  34. Skywork-Reward-V2: Scaling Preference Data Curation via Human-AI SynergyarXiv:2507.01352Chris Yuhao Liu, Liang Zeng, Yuzhen Xiao, et al.2025 · 48 citations
  35. Scaling Laws with Vocabulary: Larger Models Deserve Larger VocabulariesarXiv:2407.13623Chaofan Tao, Qian Liu, Longxu Dou, et al.2024 · 46 citations
  36. Enhancing the Reasoning Ability of Multimodal Large Language Models via Mixed Preference OptimizationarXiv:2411.10442Weiyun Wang, Zhe Chen, Wenhai Wang, et al.2024 · 44 citations
  37. InternLM-XComposer-2.5: A Versatile Large Vision Language Model Supporting Long-Contextual Input and OutputarXiv:2407.03320Pan Zhang, Xiaoyi Dong, Yuhang Zang, et al.2024 · 39 citations
  38. Direct Judgement Preference OptimizationConference on Empirical Methods in Natural Language Processing (EMNLP)PeiFeng Wang, Austin Xu, Yilun Zhou, et al.2025 · 35 citations
  39. CompAct: Compressing Retrieved Documents Actively for Question AnsweringConference on Empirical Methods in Natural Language Processing (EMNLP)Chanwoong Yoon, Taewhoo Lee, Hyeon Hwang, et al.2024 · 34 citations
  40. DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningarXiv:2511.22570Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.2025 · 33 citations
  41. PsyDT: Using LLMs to Construct the Digital Twin of Psychological Counselor with Personalized Counseling Style for Psychological CounselingAnnual Meeting of the Association for Computational Linguistics (ACL)Haojie Xie, Yirong Chen, Xiaofen Xing, et al.2025 · 30 citations
  42. Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Haoxiang Sun, Yingqian Min, Zhipeng Chen, et al.2026 · 25 citations
  43. FuseChat: Knowledge Fusion of Chat ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Fanqi Wan, Longguang Zhong, Ziyi Yang, et al.2025 · 25 citations
  44. HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem ProvingarXiv:2412.20735Yang Li, Dong Du, Linfeng Song, et al.2024 · 25 citations
  45. 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
  46. Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical ReasoningarXiv:2407.00782Zimu Lu, Aojun Zhou, Ke Wang, et al.2024 · 23 citations
  47. CodeI/O: Condensing Reasoning Patterns via Code Input-Output PredictionarXiv:2502.07316Junlong Li, Daya Guo, Dejian Yang, et al.2025 · 21 citations
  48. MMLU-CF: A Contamination-free Multi-task Language Understanding BenchmarkAnnual Meeting of the Association for Computational Linguistics (ACL)Qihao Zhao, Yangyu Huang, Tengchao Lv, et al.2025 · 21 citations
  49. START: Self-taught Reasoner with ToolsConference on Empirical Methods in Natural Language Processing (EMNLP)Chengpeng Li, Mingfeng Xue, Zhenru Zhang, et al.2025 · 21 citations
  50. MAgICoRe: Multi-Agent, Iterative, Coarse-to-Fine Refinement for ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Justin Chen, Archiki Prasad, Swarnadeep Saha, et al.2025 · 20 citations
  51. SURVEYFORGE : On the Outline Heuristics, Memory-Driven Generation, and Multi-dimensional Evaluation for Automated Survey WritingAnnual Meeting of the Association for Computational Linguistics (ACL)Xiangchao Yan, Shiyang Feng, Jiakang Yuan, et al.2025 · 20 citations
  52. MindSearch: Mimicking Human Minds Elicits Deep AI SearcherarXiv:2407.20183Zehui Chen, Kuikun Liu, Qiuchen Wang, et al.2024 · 20 citations
  53. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citations
  54. MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem ProvingarXiv:2503.03205Ruida Wang, Rui Pan, Yuxin Li, et al.2025 · 18 citations
  55. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
  56. LLM The Genius Paradox: A Linguistic and Math Expert's Struggle with Simple Word-based Counting ProblemsConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Nan Xu, Xuezhe Ma2025 · 17 citations
  57. 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
  58. CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome RewardConference on Empirical Methods in Natural Language Processing (EMNLP)Shudong Liu, Hongwei Liu, Junnan Liu, et al.2025 · 16 citations
  59. You Never Know a Person, You Only Know Their Defenses: Detecting Levels of Psychological Defense Mechanisms in Supportive ConversationsFindings of the Association for Computational LinguisticsHongbin Na, Zimu Wang, Zhaoming Chen, et al.2026 · 15 citations
  60. JuStRank: Benchmarking LLM Judges for System RankingAnnual Meeting of the Association for Computational Linguistics (ACL)Ariel Gera, Odellia Boni, Yotam Perlitz, et al.2025 · 15 citations
  61. Rewarding the Unlikely: Lifting GRPO Beyond Distribution SharpeningConference on Empirical Methods in Natural Language Processing (EMNLP)Andre Wang He, Daniel Fried, Sean Welleck2025 · 15 citations
  62. What are the Essential Factors in Crafting Effective Long Context Multi-Hop Instruction Datasets? Insights and Best PracticesAnnual Meeting of the Association for Computational Linguistics (ACL)Zhi Chen, Qiguang Chen, Libo Qin, et al.2025 · 15 citations
  63. RAG-Critic: Leveraging Automated Critic-Guided Agentic Workflow for Retrieval Augmented GenerationAnnual Meeting of the Association for Computational Linguistics (ACL)Guanting Dong, Jiajie Jin, Xiaoxi Li, et al.2025 · 14 citations
  64. Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models — The Story Goes OnarXiv:2407.08348Liang Zeng, Liangjun Zhong, Liang Zhao, et al.2024 · 14 citations
  65. Mix-of-Granularity: Optimize the Chunking Granularity for Retrieval-Augmented GenerationInternational Conference on Computational Linguistics (COLING)Zijie Zhong, Hanwen Liu, Xiaoya Cui, et al.2025 · 13 citations
  66. 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
  67. Beyond Boundaries: Learning a Universal Entity Taxonomy across Datasets and Languages for Open Named Entity RecognitionInternational Conference on Computational Linguistics (COLING)Yuming Yang, Wantong Zhao, Caishuang Huang, et al.2025 · 11 citations
  68. LIFBench: Evaluating the Instruction Following Performance and Stability of Large Language Models in Long-Context ScenariosAnnual Meeting of the Association for Computational Linguistics (ACL)Xiaodong Wu, Minhao Wang, Yichen Liu, et al.2025 · 11 citations
  69. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citations
  70. Leveraging Online Olympiad-Level Math Problems for LLMs Training and Contamination-Resistant EvaluationarXiv:2501.14275Sadegh Mahdavi, Muchen Li, Kaiwen Liu, et al.2025 · 10 citations
  71. MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction FusionAnnual Meeting of the Association for Computational Linguistics (ACL)Qizhi Pei, Lijun Wu, Zhuoshi Pan, et al.2025 · 10 citations
  72. Multiple LLM Agents Debate for Equitable Cultural AlignmentAnnual Meeting of the Association for Computational Linguistics (ACL)Dayeon Ki, Rachel Rudinger, Tianyi Zhou, et al.2025 · 10 citations
  73. Progressive Multimodal Reasoning via Active RetrievalAnnual Meeting of the Association for Computational Linguistics (ACL)Guanting Dong, Chenghao Zhang, Mengjie Deng, et al.2025 · 10 citations
  74. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
  75. Too Late to Train, Too Early To Use? A Study on Necessity and Viability of Low-Resource Bengali LLMsInternational Conference on Computational Linguistics (COLING)Tamzeed Mahfuz, Satak Kumar Dey, Ruwad Naswan, et al.2025 · 10 citations
  76. MathGLM-Vision: Solving Mathematical Problems with Multi-Modal Large Language ModelarXiv:2409.13729Zhen Yang, Jinhao Chen, Zhengxiao Du, et al.2024 · 10 citations
  77. Nemotron-CrossThink: Scaling Self-Learning beyond Math ReasoningConference of the European Chapter of the Association for Computational Linguistics (EACL)Syeda Nahida Akter, Shrimai Prabhumoye, Matvei Novikov, et al.2026 · 9 citations
  78. Advancing Mathematical Reasoning in Language Models: The Impact of Problem-Solving Data, Data Synthesis Methods, and Training StagesarXiv:2501.14002Zui Chen, Tianqiao Liu, Mi Tian, et al.2025 · 9 citations
  79. InternLM-Law: An Open Source Chinese Legal Large Language ModelarXiv:2406.14887Zhiwei Fei, Songyang Zhang, Xiaoyu Shen, et al.2024 · 9 citations
  80. MetaMetrics: Calibrating Metrics For Generation Tasks Using Human PreferencesarXiv:2410.02381Genta Indra Winata, David Anugraha, Lucky Susanto, et al.2024 · 9 citations
  81. ATLAS: Orchestrating Heterogeneous Models and Tools for Multi-Domain Complex ReasoningFindings of the Association for Computational LinguisticsJinyang Wu, Guocheng Zhai, Ruihan Jin, et al.2026 · 8 citations
  82. Discourse-Driven Evaluation: Unveiling Factual Inconsistency in Long Document SummarizationConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Yang Zhong, Diane Litman2025 · 8 citations
  83. FastMCTS: A Simple Sampling Strategy for Data SynthesisAnnual Meeting of the Association for Computational Linguistics (ACL)Peiji Li, Kai Lv, Yunfan Shao, et al.2025 · 8 citations
  84. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
  85. Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical ProblemsProceedings of the AAAI Conference on Artificial IntelligenceJunyi Ye, Jingyi Gu, Xinyun Zhao, et al.2024 · 8 citations
  86. Case2Code: Scalable Synthetic Data for Code GenerationInternational Conference on Computational Linguistics (COLING)Yunfan Shao, Linyang Li, Yichuan Ma, et al.2025 · 7 citations
  87. Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math CapabilityConference on Empirical Methods in Natural Language Processing (EMNLP)Ruida Wang, Yuxin Li, Yi R. Fung, et al.2025 · 7 citations
  88. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
  89. From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical ProblemsarXiv:2410.18921A M Muntasir Rahman, Junyi Ye, Wei Yao, et al.2024 · 6 citations
  90. LED-Merging: Mitigating Safety-Utility Conflicts in Model Merging with Location-Election-DisjointAnnual Meeting of the Association for Computational Linguistics (ACL)Qianli Ma, Dongrui Liu, Qian Chen, et al.2025 · 5 citations
  91. Evaluating Numeracy of Language Models as a Natural Language Inference TaskFindings of the Association for Computational LinguisticsRahmad Mahendra, Damiano Spina, Lawrence Cavedon, et al.2025 · 4 citations
  92. RubricBench: Aligning Model-Generated Rubrics with Human StandardsAnnual Meeting of the Association for Computational Linguistics (ACL)Junyi Zhou, Qiyuan Zhang, Yufei Wang, et al.2026 · 3 citations
  93. Attention Basin: Why Contextual Position Matters in Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Zihao Yi, Zhenqing Ling, Delong Zeng, et al.2026 · 2 citations
  94. OpenGenAlign: A Preference Dataset and Benchmark for Trustworthy Reward Modeling in Open-Ended, Long-Context GenerationFindings of the Association for Computational LinguisticsHanning Zhang, Juntong Song, Juno Zhu, et al.2026 · 2 citations
  95. RedOne 2.0: Rethinking Domain-specific LLM Post-Training in Social Networking ServicesAnnual Meeting of the Association for Computational Linguistics (ACL)Fei zhao, Chonggang Lu, Haofu Qian, et al.2026 · 2 citations
  96. V-MAGE: A Game Evaluation Framework for Assessing Vision-Centric Capabilities in Multimodal Large Language ModelsFindings of the Association for Computational LinguisticsXiangxi Zheng, Linjie Li, Zhengyuan Yang, et al.2026 · 2 citations
  97. CodeEvo: Interaction-Driven Synthesis of Code-centric Data through Hybrid and Iterative FeedbackAnnual Meeting of the Association for Computational Linguistics (ACL)Qiushi Sun, Jingyang Gong, Lei Li, et al.2026 · 1 citation
  98. How to Set the Learning Rate for Large-Scale Pre-training?Findings of the Association for Computational LinguisticsYunhua Zhou, Shuhao Xing, Junhao Huang, et al.2026 · 1 citation
  99. IF-RewardBench: Benchmarking Judge Models for Instruction-Following EvaluationAnnual Meeting of the Association for Computational Linguistics (ACL)Bosi Wen, Yilin Niu, Cunxiang Wang, et al.2026 · 1 citation
  100. SharVeT: Similarity-aware Parameter Sharing with Vector-based Tuning for Efficient LLM CompressionAnnual Meeting of the Association for Computational Linguistics (ACL)Jeongin Yun, Jaeri Lee, Jongjin Kim, et al.2026 · 1 citation

1 2

↑ back to top

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