🧑‍🔬 Who cites Jiawei Ge

107 citations of their works from 107 papers of our library (of the 149,439 whose bibliographies we read) · 28 with a page here, the most cited first · ← Jiawei Ge

1. 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
2. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
3. Towards Robust Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Thang Luong, Dawsen Hwang, Hoang H Nguyen, et al.2025 · 40 citations
4. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
5. 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
6. 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
7. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
8. 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
9. AdvancedIF: Rubric-Based Benchmarking and Reinforcement Learning for Advancing LLM Instruction FollowingAnnual Meeting of the Association for Computational Linguistics (ACL)Yun He, Wenzhe Li, Hejia Zhang, et al.2026 · 9 citations
10. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum PhysicsarXiv:2510.12787Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.2025 · 9 citations
11. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
12. Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-ProversarXiv:2509.06493Ran Xin, Zeyu Zheng, Yanchen Nie, et al.2025 · 7 citations
13. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
14. Autoformalizer with Tool FeedbackarXiv:2510.06857Qi Guo; Jianing Wang; Jianfei Zhang; Deyang Kong; Xiangzhou Huang; Xiangyu Xi; Wei Wang; Jingang Wang; Xunliang Cai; Shikun Zhang;, Wei Ye2025 · 6 citations
15. 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
16. Premise Selection for a Lean HammerarXiv:2506.07477Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.2025 · 5 citations
17. ProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citations
18. Recitation over Reasoning: How Cutting-Edge Language Models Can Fail on Elementary School-Level Reasoning Problems?International Joint Conference on Natural Language Processing (IJCNLP)Kai Yan, Yufei Xu, Zhengyin Du, et al.2025 · 5 citations
19. EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem SolvingFindings of the Association for Computational LinguisticsXiyuan Zhou, Xinlei Wang, Yirui He, et al.2026 · 3 citations
20. 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
21. Test of Time: Rethinking Temporal Signal of Benchmark ContaminationAnnual Meeting of the Association for Computational Linguistics (ACL)Terry Jingchen Zhang, Gopal Dev, Ning Wang, et al.2026 · 1 citation
22. Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem SolvingarXiv:2512.10739Yuzhe Gu, Songyang Gao, Zijian Wu, et al.2025 · 1 citation
23. AlgBench: To What Extent Do Large Reasoning Models Understand Algorithms?Findings of the Association for Computational LinguisticsHenan Sun, Kaichi Yu, Yuyao Wang, et al.2026
24. DisCal: Distribution-Aware Calibration for Mathematical Reasoning Under Character-Level Noisy InputsAnnual Meeting of the Association for Computational Linguistics (ACL)Bo Zhang, Jiawei Zhang, Cong Gao, et al.2026
25. From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMsFindings of the Association for Computational LinguisticsShaojie Wang, Liang Zhang2026
26. ImpRIF: Stronger Implicit Reasoning Leads to Better Complex Instruction FollowingAnnual Meeting of the Association for Computational Linguistics (ACL)Yuancheng Yang, Lin Yang, Xu Wang, et al.2026
27. Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Zhikun Xu, Xiaodong Yu, Ben Zhou, et al.2026
28. Sense and Sensitivity: Examining the Influence of Semantic Recall on Long Context Code UnderstandingAnnual Meeting of the Association for Computational Linguistics (ACL)Adam Štorek, Mukur Gupta, Samira Hajizadeh, et al.2026

79 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/jiawei-ge/cited-by/