Elamur Research⌕
☰
home / authors / Zhengying Liu / cited by / page 2

Who cites Zhengying Liu

1,031 citations of their works from 811 papers of our library (of the 149,439 whose bibliographies we read) · 228 with a page here, the most cited first · page 2 of 3 · 101–200 · ← Zhengying Liu

1 2 3

  1. 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
  2. SciAgent: Tool-augmented Language Models for Scientific ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Yubo Ma, Zhibin Gou, Junheng Hao, et al.2024 · 55 citations
  3. 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
  4. Q*: Improving Multi-step Reasoning for LLMs with Deliberative PlanningarXiv:2406.14283Chaojie Wang, Yanchen Deng, Zhiyi Lyu, et al.2024 · 53 citations
  5. FIMO: A Challenge Formal Dataset for Automated Theorem ProvingarXiv:2309.04295Chengwu Liu, Jianhao Shen, Huajian Xin, et al.2023 · 53 citations
  6. Scaling Laws with Vocabulary: Larger Models Deserve Larger VocabulariesarXiv:2407.13623Chaofan Tao, Qian Liu, Longxu Dou, et al.2024 · 46 citations
  7. Stable LM 2 1.6B Technical ReportarXiv:2402.17834Marco Bellagente, Jonathan Tow, Dakota Mahan, et al.2024 · 46 citations
  8. MathChat: Converse to Tackle Challenging Math Problems with LLM AgentsarXiv:2306.01337Yiran Wu; Feiran Jia; Shaokun Zhang; Hangyu Li; Erkang Zhu; Yue Wang; Yin Tat Lee; Richard Peng; Qingyun Wu;, Chi Wang2023 · 46 citations
  9. EuroLLM-9B: Technical ReportarXiv:2506.04079Pedro Henrique Martins, Joao Alves, Patrick Fernandes, et al.2025 · 45 citations
  10. Augmenting Math Word Problems via Iterative Question ComposingProceedings of the AAAI Conference on Artificial IntelligenceHaoxiong Liu, Yifan Zhang, Yifan Luo, et al.2024 · 44 citations
  11. NVLM: Open Frontier-Class Multimodal LLMsarXiv:2409.11402Wenliang Dai, Nayeon Lee, Boxin Wang, et al.2024 · 44 citations
  12. Towards Thinking-Optimal Scaling of Test-Time Compute for LLM ReasoningConference on Neural Information Processing Systems (NeurIPS)Wenkai Yang, Shuming Ma, Yankai Lin, et al.2025 · 43 citations
  13. Can 1B LLM Surpass 405B LLM? Rethinking Compute-Optimal Test-Time ScalingarXiv:2502.06703Runze Liu, Junqi Gao, Jian Zhao, et al.2025 · 41 citations
  14. 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
  15. Efficient Reasoning Models: A SurveyarXiv:2504.10903Sicheng Feng, Gongfan Fang, Xinyin Ma, et al.2025 · 37 citations
  16. MasRouter: Learning to Route LLMs for Multi-Agent SystemsAnnual Meeting of the Association for Computational Linguistics (ACL)Yanwei Yue, Guibin Zhang, Boyang Liu, et al.2025 · 35 citations
  17. On the Diversity of Synthetic Data and its Impact on Training Large Language ModelsarXiv:2410.15226Hao Chen, Abdul Waheed, Xiang Li, et al.2024 · 35 citations
  18. mCoT: Multilingual Instruction Tuning for Reasoning Consistency in Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Huiyuan Lai, Malvina Nissim2024 · 34 citations
  19. Learning Planning-based Reasoning by Trajectories Collection and Process Reward SynthesizingConference on Empirical Methods in Natural Language Processing (EMNLP)Fangkai Jiao, Chengwei Qin, Zhengyuan Liu, et al.2024 · 31 citations
  20. Knowledge Boundary of Large Language Models: A SurveyAnnual Meeting of the Association for Computational Linguistics (ACL)Moxin Li, Yong Zhao, Wenxuan Zhang, et al.2025 · 30 citations
  21. ChatGLM-Math: Improving Math Problem-Solving in Large Language Models with a Self-Critique PipelinearXiv:2404.02893Yifan Xu, Xiao Liu, Xinghan Liu, et al.2024 · 30 citations
  22. Language Models as Science TutorsarXiv:2402.11111Alexis Chevalier, Jiayi Geng, Alexander Wettig, et al.2024 · 30 citations
  23. InftyThink: Breaking the Length Limits of Long-Context Reasoning in Large Language ModelsarXiv:2503.06692Yuchen Yan, Yongliang Shen, Yang Liu, et al.2025 · 29 citations
  24. Towards Effective and Efficient Continual Pre-training of Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Jie Chen, Zhipeng Chen, Jiapeng Wang, et al.2025 · 29 citations
  25. LangBridge: Multilingual Reasoning Without Multilingual SupervisionAnnual Meeting of the Association for Computational Linguistics (ACL)Dongkeun Yoon, Joel Jang, Sungdong Kim, et al.2024 · 29 citations
  26. Automatic Instruction Evolving for Large Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Weihao Zeng, Can Xu, Yingxiu Zhao, et al.2024 · 28 citations
  27. Nemotron 3 Nano: Open, Efficient Mixture-of-Experts Hybrid Mamba-Transformer Model for Agentic ReasoningarXiv:2512.20848NVIDIA: Aaron Blakeman, Aaron Grattafiori, Aarti Basant, et al.2025 · 27 citations
  28. Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal SamplingarXiv:2408.16737Hritik Bansal, Arian Hosseini, Rishabh Agarwal, et al.2024 · 27 citations
  29. 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
  30. 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
  31. 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
  32. PhysReason: A Comprehensive Benchmark towards Physics-Based ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Xinyu Zhang, Yuxuan Dong, Yanrui Wu, et al.2025 · 25 citations
  33. Soft Thinking: Unlocking the Reasoning Potential of LLMs in Continuous Concept SpaceConference on Neural Information Processing Systems (NeurIPS)Zhen Zhang, Xuehai He, Weixiang Yan, et al.2025 · 25 citations
  34. 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
  35. 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
  36. Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical ReasoningarXiv:2407.00782Zimu Lu, Aojun Zhou, Ke Wang, et al.2024 · 23 citations
  37. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
  38. SLAM: Towards Efficient Multilingual Reasoning via Selective Language AlignmentInternational Conference on Computational Linguistics (COLING)Yuchun Fan, Yongyu Mu, YiLin Wang, et al.2025 · 20 citations
  39. Code to Think, Think to Code: A Survey on Code-Enhanced Reasoning and Reasoning-Driven Code Intelligence in LLMsConference on Empirical Methods in Natural Language Processing (EMNLP)Dayu Yang, Tianyang Liu, Daoan Zhang, et al.2025 · 19 citations
  40. 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
  41. 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
  42. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
  43. Language Matters: How Do Multilingual Input and Reasoning Paths Affect Large Reasoning Models?arXiv:2505.17407Zhi Rui Tam, Cheng-Kuang Wu, Yu Ying Chiu, et al.2025 · 17 citations
  44. STaR-SQL: Self-Taught Reasoner for Text-to-SQLAnnual Meeting of the Association for Computational Linguistics (ACL)Mingqian He, Yongliang Shen, Wenqi Zhang, et al.2025 · 17 citations
  45. Let the Expert Stick to His Last: Expert-Specialized Fine-Tuning for Sparse Architectural Large Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Zihan Wang, Deli Chen, Damai Dai, et al.2024 · 17 citations
  46. Skills-in-Context Prompting: Unlocking Compositionality in Large Language ModelsarXiv:2308.00304Jiaao Chen, Xiaoman Pan, Dian Yu, et al.2023 · 17 citations
  47. 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
  48. Language Models Encode the Value of Numbers LinearlyInternational Conference on Computational Linguistics (COLING)Fangwei Zhu, Damai Dai, Zhifang Sui2025 · 15 citations
  49. 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
  50. Preference Optimization for Reasoning with Pseudo FeedbackarXiv:2411.16345Fangkai Jiao, Geyang Guo, Xingxing Zhang, et al.2024 · 15 citations
  51. 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
  52. Understanding Chain-of-Thought in LLMs through Information TheoryarXiv:2411.11984Jean-Francois Ton, Muhammad Faaiz Taufiq, Yang Liu2024 · 14 citations
  53. 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
  54. SKIntern: Internalizing Symbolic Knowledge for Distilling Better CoT Capabilities into Small Language ModelsInternational Conference on Computational Linguistics (COLING)Huanxuan Liao, Shizhu He, Yupu Hao, et al.2025 · 12 citations
  55. Layer-Aware Representation Filtering: Purifying Finetuning Data to Preserve LLM Safety AlignmentConference on Empirical Methods in Natural Language Processing (EMNLP)Hao Li, Lijun Li, Zhenghao Lu, et al.2025 · 11 citations
  56. Learning from Diverse Reasoning Paths with Routing and CollaborationConference on Empirical Methods in Natural Language Processing (EMNLP)Zhenyu Lei, Zhen Tan, Song Wang, et al.2025 · 11 citations
  57. 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
  58. FinChain: A Symbolic Benchmark for Verifiable Chain-of-Thought Financial ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Zhuohan Xie, Daniil Orel, Rushil Thareja, et al.2026 · 10 citations
  59. AnyMAC: Cascading Flexible Multi-Agent Collaboration via Next-Agent PredictionConference on Empirical Methods in Natural Language Processing (EMNLP)Song Wang, Zhen Tan, Zihan Chen, et al.2025 · 10 citations
  60. Implicit Reasoning in Large Language Models: A Comprehensive SurveyarXiv:2509.02350Jindong Li, Yali Fu, Li Fan, et al.2025 · 10 citations
  61. 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
  62. 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
  63. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
  64. MathGLM-Vision: Solving Mathematical Problems with Multi-Modal Large Language ModelarXiv:2409.13729Zhen Yang, Jinhao Chen, Zhengxiao Du, et al.2024 · 10 citations
  65. Progress or Regress? Self-Improvement Reversal in Post-trainingarXiv:2407.05013Ting Wu, Xuefeng Li, Pengfei Liu2024 · 10 citations
  66. 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
  67. Examining False Positives under Inference Scaling for Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Yu Wang, Nan Yang, Liang Wang, et al.2025 · 9 citations
  68. 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
  69. Stable Code Technical ReportarXiv:2404.01226Nikhil Pinnaparaju, Reshinth Adithyan, Duy Phung, et al.2024 · 9 citations
  70. Exposing the Achilles' Heel: Evaluating LLMs Ability to Handle Mistakes in Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Joykirat Singh, Akshay Nambi, Vibhav Vineet2025 · 8 citations
  71. 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
  72. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
  73. Superficial Self-Improved Reasoners Benefit from Model MergingConference on Empirical Methods in Natural Language Processing (EMNLP)Xiangchi Yuan, Chunhui Zhang, Zheyuan Liu, et al.2025 · 8 citations
  74. SIaM: Self-Improving Code-Assisted Mathematical Reasoning of Large Language ModelsarXiv:2408.15565Dian Yu, Baolin Peng, Ye Tian, et al.2024 · 8 citations
  75. Case2Code: Scalable Synthetic Data for Code GenerationInternational Conference on Computational Linguistics (COLING)Yunfan Shao, Linyang Li, Yichuan Ma, et al.2025 · 7 citations
  76. 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
  77. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
  78. BeamLoRA: Beam-Constraint Low-Rank AdaptationAnnual Meeting of the Association for Computational Linguistics (ACL)Naibin Gu, Zhenyu Zhang, Xiyu Liu, et al.2025 · 6 citations
  79. FineReason: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle SolvingAnnual Meeting of the Association for Computational Linguistics (ACL)Guizhen Chen, Weiwen Xu, Hao Zhang, et al.2025 · 6 citations
  80. From 128K to 4M: Efficient Training of Ultra-Long Context Large Language ModelsFindings of the Association for Computational LinguisticsChejian Xu, Wei Ping, Peng Xu, et al.2026 · 5 citations
  81. Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
  82. Select2Reason: Efficient Instruction-Tuning Data Selection for Long-CoT ReasoningFindings of the Association for Computational LinguisticsCehao Yang, Xueyuan Lin, Xiaojun Wu, et al.2026 · 4 citations
  83. What Makes a Good Curriculum? Disentangling the Effects of Data Ordering on LLM Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Yaning Jia, Chunhui Zhang, Xingjian Diao, et al.2026 · 4 citations
  84. 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
  85. Less is More: Selective Reflection for Compatible and Efficient Knowledge Distillation in Large Language ModelsarXiv:2508.06135Lingyuan Liu, Mengxiang Zhang2025 · 4 citations
  86. Beyond Templates: Dynamic Adaptation of Reasoning Demonstrations via Feasibility-Aware ExplorationFindings of the Association for Computational LinguisticsYong Wu, Weihang Pan, Ke Li, et al.2026 · 3 citations
  87. LLM-Powered Benchmark Factory: Reliable, Generic, and EfficientAnnual Meeting of the Association for Computational Linguistics (ACL)Peiwen Yuan, Shaoxiong Feng, Yiwei Li, et al.2026 · 3 citations
  88. a1: Steep Test-time Scaling Law via Environment Augmented GenerationFindings of the Association for Computational LinguisticsLingrui Mei, Shenghua Liu, Yiwei Wang, et al.2026 · 2 citations
  89. Aligning Large Language Models via Fully Self-Synthetic DataAnnual Meeting of the Association for Computational Linguistics (ACL)Shangjian Yin, Zhepei Wei, Xinyu Zhu, et al.2026 · 2 citations
  90. A Survey of Deep Learning for Geometry Problem SolvingAnnual Meeting of the Association for Computational Linguistics (ACL)Jianzhe Ma, Wenxuan Wang, Qin Jin2026 · 1 citation
  91. Bridging the Culture Gap: A Framework for LLM-Driven Socio-Cultural Localization of Math Word Problems in Low-Resource LanguagesFindings of the Association for Computational LinguisticsIsrael Abebe Azime, Tadesse Destaw Belay, Dietrich Klakow, et al.2026 · 1 citation
  92. CoAct: Co-Active LLM Preference Learning with Human-AI SynergyAnnual Meeting of the Association for Computational Linguistics (ACL)Ruiyao Xu, Mihir Parmar, Tiankai Yang, et al.2026 · 1 citation
  93. Data Mixing Agent: Learning to Re-weight Domains for Continual Pre-trainingAnnual Meeting of the Association for Computational Linguistics (ACL)Kailai Yang, Xiao Liu, Lei Ji, et al.2026 · 1 citation
  94. From Individual to Common: An Early Exploration of Consensus in Non-verifiable Data for Balanced Preference OptimizationAnnual Meeting of the Association for Computational Linguistics (ACL)Shangjian Yin, Zhouxing Shi2026 · 1 citation
  95. MERLIN: Multi-Stage Curriculum Alignment for Multilingual Encoder-LLM Integration in Cross-Lingual ReasoningConference of the European Chapter of the Association for Computational Linguistics (EACL)Kosei Uemura, David Guzmán, Quang Phuoc Nguyen, et al.2026 · 1 citation
  96. The Bidirectional Process Reward ModelAnnual Meeting of the Association for Computational Linguistics (ACL)Lingyin Zhang, Jun Gao, Xiaoxue Ren, et al.2026 · 1 citation
  97. Accelerating LLM Fine-Tuning via Embedding Knowledge TransferFindings of the Association for Computational LinguisticsMeishu Peng, Ziyue Zhang, Yi Zhang, et al.2026
  98. Beyond Length Scaling: Synergizing Breadth and Depth for Generative Reward ModelsFindings of the Association for Computational LinguisticsQiyuan Zhang, Yufei Wang, Tianhe Wu, et al.2026
  99. Calibrated Progressive Distillation: Co-Designing Curriculum and Target Mixing for Knowledge Distillation of Large Language ModelsFindings of the Association for Computational LinguisticsMengxiang Zhang, Lingyuan Liu2026
  100. Crossroads of Optimization under Uncertainty: How to Choose the Optimal ModelFindings of the Association for Computational LinguisticsChengxi She, Zhiqiang Chen, Xingyu Lu, et al.2026

1 2 3

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/zhengying-liu/cited-by/page/2/