---
title: "Who cites Jiawei Ge — 107 papers of our library"
description: "107 papers of the Elamur Research library cite the works of Jiawei Ge, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/jiawei-ge/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/jiawei-ge/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Jiawei Ge](https://md.research.elamur.ai/free/en/authors/jiawei-ge/) / cited by

# 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](https://md.research.elamur.ai/free/en/authors/jiawei-ge/)

1. **[Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models](https://md.research.elamur.ai/free/en/papers/chen-2025-towards-reasoning-era-survey-long/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Libo Qin, Jinhao Liu, et al.*2025 · 176 citations*
2. **[MathArena: Evaluating LLMs on Uncontaminated Math Competitions](https://md.research.elamur.ai/free/en/papers/balunovic-2025-matharena-evaluating-llms-uncontaminated-math/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.*2025 · 99 citations*
3. **[Towards Robust Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/luong-2025-robust-mathematical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Thang Luong, Dawsen Hwang, Hoang H Nguyen, et al.*2025 · 40 citations*
4. [**Hilbert: Recursively Building Formal Proofs with Informal Reasoning arXiv:2509.22819**Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.*2025 · 26 citations*](https://md.research.elamur.ai/free/en/papers/varambally-2025-hilbert-recursively-building-formal-proofs/)
5. **[Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models](https://md.research.elamur.ai/free/en/papers/sun-2026-challenging-boundaries-reasoning-olympiad-level/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 Experience arXiv:2512.17260**Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.*2025 · 19 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/)
7. [**Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs arXiv:2506.19923**Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.*2025 · 14 citations*](https://md.research.elamur.ai/free/en/papers/baba-2025-prover-agent-agent-based-framework/)
8. [**The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs arXiv:2506.21621**Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/dekoninck-2025-open-proof-corpus-large-scale/)
9. **[AdvancedIF: Rubric-Based Benchmarking and Reinforcement Learning for Advancing LLM Instruction Following](https://md.research.elamur.ai/free/en/papers/he-2026-advancedif-rubric-based-benchmarking-reinforcement/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 Physics arXiv:2510.12787**Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.*2025 · 9 citations*](https://md.research.elamur.ai/free/en/papers/breen-2025-ax-prover-deep-reasoning-agentic/)
11. [**ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization arXiv:2510.24592**Guoxin Chen, Jing Wu, Xinjie Chen, et al.*2025 · 8 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-reform-reflective-autoformalization-prospective-bounded/)
12. [**Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers arXiv:2509.06493**Ran Xin, Zeyu Zheng, Yanchen Nie, et al.*2025 · 7 citations*](https://md.research.elamur.ai/free/en/papers/xin-2025-scaling-up-multi-turn-off/)
13. [**StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion arXiv:2508.04440**Yutong Wu, Di Huang, Ruosi Wan, et al.*2025 · 7 citations*](https://md.research.elamur.ai/free/en/papers/wu-2025-stepfun-formalizer-unlocking-autoformalization/)
14. [**Autoformalizer with Tool Feedback arXiv:2510.06857**Qi Guo; Jianing Wang; Jianfei Zhang; Deyang Kong; Xiangzhou Huang; Xiangyu Xi; Wei Wang; Jingang Wang; Xunliang Cai; Shikun Zhang;, Wei Ye*2025 · 6 citations*](https://md.research.elamur.ai/free/en/papers/guo-2025-autoformalizer-tool-feedback/)
15. **[Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/guo-2026-mathematical-proof-as-litmus-test/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.*2026 · 5 citations*
16. [**Premise Selection for a Lean Hammer arXiv:2506.07477**Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zhu-2025-premise-selection-lean-hammer/)
17. [**ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization arXiv:2510.15981**Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/cabral-2025-proofflow-dependency-graph-approach-faithful/)
18. **[Recitation over Reasoning: How Cutting-Edge Language Models Can Fail on Elementary School-Level Reasoning Problems?](https://md.research.elamur.ai/free/en/papers/yan-2025-recitation-over-reasoning-how-cutting/) [International Joint Conference on Natural Language Processing (IJCNLP)](https://md.research.elamur.ai/free/en/venues/ijcnlp/)**Kai Yan, Yufei Xu, Zhengyin Du, et al.*2025 · 5 citations*
19. **[EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving](https://md.research.elamur.ai/free/en/papers/zhou-2026-engibench-benchmark-evaluating-large-language/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Xiyuan Zhou, Xinlei Wang, Yirui He, et al.*2026 · 3 citations*
20. **[A Survey of Deep Learning for Geometry Problem Solving](https://md.research.elamur.ai/free/en/papers/ma-2026-survey-deep-learning-geometry-problem/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jianzhe Ma, Wenxuan Wang, Qin Jin*2026 · 1 citation*
21. **[Test of Time: Rethinking Temporal Signal of Benchmark Contamination](https://md.research.elamur.ai/free/en/papers/zhang-2026-test-time-rethinking-temporal-signal/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 Solving arXiv:2512.10739**Yuzhe Gu, Songyang Gao, Zijian Wu, et al.*2025 · 1 citation*](https://md.research.elamur.ai/free/en/papers/gu-2025-intern-s1-mo-long/)
23. **[AlgBench: To What Extent Do Large Reasoning Models Understand Algorithms?](https://md.research.elamur.ai/free/en/papers/sun-2026-algbench-what-extent-do-large/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Henan Sun, Kaichi Yu, Yuyao Wang, et al.*2026*
24. **[DisCal: Distribution-Aware Calibration for Mathematical Reasoning Under Character-Level Noisy Inputs](https://md.research.elamur.ai/free/en/papers/zhang-2026-discal-distribution-aware-calibration-mathematical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Bo Zhang, Jiawei Zhang, Cong Gao, et al.*2026*
25. **[From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs](https://md.research.elamur.ai/free/en/papers/wang-2026-implicit-explicit-token-efficient-logical/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Shaojie Wang, Liang Zhang*2026*
26. **[ImpRIF: Stronger Implicit Reasoning Leads to Better Complex Instruction Following](https://md.research.elamur.ai/free/en/papers/yang-2026-imprif-stronger-implicit-reasoning-leads/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yuancheng Yang, Lin Yang, Xu Wang, et al.*2026*
27. **[Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/xu-2026-reliable-use-lemmas-eligibility-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhikun Xu, Xiaodong Yu, Ben Zhou, et al.*2026*
28. **[Sense and Sensitivity: Examining the Influence of Semantic Recall on Long Context Code Understanding](https://md.research.elamur.ai/free/en/papers/storek-2026-sense-sensitivity-examining-influence-semantic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Adam Štorek, Mukur Gupta, Samira Hajizadeh, et al.*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/jiawei-ge/) — Jiawei Ge