🧑‍🔬 Who cites Ziyi Wang

97 citations of their works from 96 papers of our library (of the 149,439 whose bibliographies we read) · 38 with a page here, the most cited first · ← Ziyi Wang

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. Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-ImprovementarXiv:2409.12122An Yang, Beichen Zhang, Binyuan Hui, et al.2024 · 417 citations
3. InternLM2 Technical ReportarXiv:2403.17297Zheng Cai, Maosong Cao, Haojiong Chen, et al.2024 · 301 citations
4. 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
5. Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language ModelsarXiv:2410.07985Bofei Gao, Feifan Song, Zhe Yang, et al.2024 · 163 citations
6. 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
7. MAmmoTH2: Scaling Instructions from the WebConference on Neural Information Processing Systems (NeurIPS)Xiang Yue, Tuney Zheng, Ge Zhang, et al.2024 · 96 citations
8. MinerU: An Open-Source Solution for Precise Document Content ExtractionarXiv:2409.18839Bin Wang, Chao Xu, Xiaomeng Zhao, et al.2024 · 95 citations
9. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
10. 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
11. 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
12. Rho-1: Not All Tokens Are What You NeedarXiv:2404.07965Zhenghao Lin, Zhibin Gou, Yeyun Gong, et al.2024 · 59 citations
13. 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
14. 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
15. Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical ReasoningarXiv:2407.00782Zimu Lu, Aojun Zhou, Ke Wang, et al.2024 · 23 citations
16. CodeI/O: Condensing Reasoning Patterns via Code Input-Output PredictionarXiv:2502.07316Junlong Li, Daya Guo, Dejian Yang, et al.2025 · 21 citations
17. 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
18. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
19. 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
20. 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
21. 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
22. 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
23. 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
24. MathGLM-Vision: Solving Mathematical Problems with Multi-Modal Large Language ModelarXiv:2409.13729Zhen Yang, Jinhao Chen, Zhengxiao Du, et al.2024 · 10 citations
25. 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
26. InternLM-Law: An Open Source Chinese Legal Large Language ModelarXiv:2406.14887Zhiwei Fei, Songyang Zhang, Xiaoyu Shen, et al.2024 · 9 citations
27. OPeRA: A Dataset of Observation, Persona, Rationale, and Action for Evaluating LLMs on Human Online Shopping Behavior SimulationAnnual Meeting of the Association for Computational Linguistics (ACL)Ziyi Wang, Yuxuan Lu, Wenbo Li, et al.2026 · 8 citations
28. 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
29. 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
30. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
31. 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
32. 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
33. Can LLM Agents Simulate Multi-Turn Human Behavior? Evidence from Real Online Customer Behavior DataAnnual Meeting of the Association for Computational Linguistics (ACL)Yuxuan Lu, Jing Huang, Yan Han, et al.2026 · 2 citations
34. Trajectory2Task: Training Robust Tool-Calling Agents with Synthesized Yet Verifiable Data for Complex User IntentsAnnual Meeting of the Association for Computational Linguistics (ACL)Ziyi Wang, Yuxuan Lu, Yimeng Zhang, et al.2026 · 2 citations
35. ShopSimulator: Evaluating and Exploring RL-Driven LLM Agent for Shopping AssistantsAnnual Meeting of the Association for Computational Linguistics (ACL)Pei Wang, Yanan Wu, Xiaoshuai Song, et al.2026 · 1 citation
36. Does RLVR Extend Reasoning Boundaries? Investigating Capability Expansion in Vision-Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Minghe Shen, Zhuo Zhi, Chonghan Liu, et al.2026
37. LLMs for Now, Fine-Tuning for Later: An Ensemble Approach to Data Drift in Domain-Specific TasksAnnual Meeting of the Association for Computational Linguistics (ACL)Yuxuan Lu, Bingsheng Yao, Shao Zhang, et al.2026
38. ReActR: Reasoning through Error-Activated Reflection for LLM Post-TrainingAnnual Meeting of the Association for Computational Linguistics (ACL)Lina Sun2026

58 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/ziyi-wang/cited-by/