🧑‍🔬 Who cites Jingxuan He

222 citations of their works from 222 papers of our library (of the 149,439 whose bibliographies we read) · 79 with a page here, the most cited first · ← Jingxuan He

1. Survey of Hallucination in Natural Language GenerationACM Computing SurveysZiwei Ji, Nayeon Lee, Rita Frieske, et al.2022 · 5,974 citations
2. The Rise and Potential of Large Language Model Based Agents: A SurveyScience China Information SciencesZhiheng Xi, Wenxiang Chen, Xin Guo, et al.2023 · 1,272 citations
3. Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language ModelsComputational LinguisticsYue Zhang, Yafu Li, Leyang Cui, et al.2023 · 977 citations
4. Large Legal Fictions: Profiling Legal Hallucinations in Large Language ModelsarXiv:2401.01301 · Journal of Legal Analysis 16, no. 1 (2024): 64-93Matthew Dahl, Varun Magesh, Mirac Suzgun, et al.2024 · 437 citations
5. Hallucination-Free? Assessing the Reliability of Leading AI Legal Research ToolsarXiv:2405.20362Varun Magesh, Faiz Surani, Matthew Dahl, et al.2024 · 271 citations
6. A Comprehensive Survey of Hallucination Mitigation Techniques in Large Language ModelsarXiv:2401.01313S.M Towhidul Islam Tonmoy, S M Mehedi Zaman, Vinija Jain, et al.2024 · 249 citations
7. A Survey of Hallucination in Large Foundation ModelsarXiv:2309.05922Vipula Rawte, Amit Sheth, Amitava Das2023 · 226 citations
8. Combating Misinformation in the Age of LLMs: Opportunities and ChallengesAI MagazineCanyu Chen, Kai Shu2023 · 214 citations
9. “Kelly is a Warm Person, Joseph is a Role Model”: Gender Biases in LLM-Generated Reference LettersFindings of the Association for Computational LinguisticsYixin Wan, George Pu, Jiao Sun, et al.2023 · 209 citations
10. AlphaEvolve: A coding agent for scientific and algorithmic discoveryarXiv:2506.13131Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.2025 · 202 citations
11. Knowledge Conflicts for LLMs: A SurveyConference on Empirical Methods in Natural Language Processing (EMNLP)Rongwu Xu, Zehan Qi, Zhijiang Guo, et al.2024 · 182 citations
12. 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
13. The Troubling Emergence of Hallucination in Large Language Models - An Extensive Definition, Quantification, and Prescriptive RemediationsConference on Empirical Methods in Natural Language Processing (EMNLP)Vipula Rawte, Swagata Chakraborty, Agnibh Pathak, et al.2023 · 171 citations
14. "Kelly is a Warm Person, Joseph is a Role Model": Gender Biases in LLM-Generated Reference LettersarXiv:2310.09219Yixin Wan, George Pu, Jiao Sun, et al.2023 · 169 citations
15. Stop Overthinking: A Survey on Efficient Reasoning for Large Language ModelsarXiv:2503.16419Yang Sui, Yu-Neng Chuang, Guanchu Wang, et al.2025 · 157 citations
16. The Dawn After the Dark: An Empirical Study on Factuality Hallucination in Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Junyi Li, Jie Chen, Ruiyang Ren, et al.2024 · 153 citations
17. Fine-tuning Language Models for FactualityarXiv:2311.08401Katherine Tian, Eric Mitchell, Huaxiu Yao, et al.2023 · 127 citations
18. 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
19. The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem ComplexityConference on Neural Information Processing Systems (NeurIPS)Parshin Shojaee, Iman Mirzadeh, Keivan Alizadeh, et al.2025 · 104 citations
20. Self-Contrast: Better Reflection Through Inconsistent Solving PerspectivesAnnual Meeting of the Association for Computational Linguistics (ACL)Wenqi Zhang, Yongliang Shen, Linjuan Wu, et al.2024 · 75 citations
21. Dynamic Early Exit in Reasoning ModelsarXiv:2504.15895Chenxu Yang, Qingyi Si, Yongjie Duan, et al.2025 · 74 citations
22. BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem ProvingAnnual Meeting of the Association for Computational Linguistics (ACL)Ran Xin, Chenguang Xi, Jie Yang, et al.2025 · 49 citations
23. Unfamiliar Finetuning Examples Control How Language Models HallucinateConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Katie Kang, Eric Wallace, Claire Tomlin, et al.2025 · 47 citations
24. AdaptThink: Reasoning Models Can Learn When to ThinkConference on Empirical Methods in Natural Language Processing (EMNLP)Jiajie Zhang, Nianyi Lin, Lei Hou, et al.2025 · 44 citations
25. Learning to Reason without External RewardsarXiv:2505.19590Xuandong Zhao, Zhewei Kang, Aosong Feng, et al.2025 · 44 citations
26. STP: Self-play LLM Theorem Provers with Iterative Conjecturing and ProvingarXiv:2502.00212Kefan Dong, Tengyu Ma2025 · 43 citations
27. Halo: Estimation and Reduction of Hallucinations in Open-Source Weak Large Language ModelsarXiv:2308.11764Mohamed Elaraby, Mengyin Lu, Jacob Dunn, et al.2023 · 43 citations
28. A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic SystemsarXiv:2504.09037Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.2025 · 39 citations
29. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
30. FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language ModelsarXiv:2505.02735Zhouliang Yu, Ruotian Peng, Keyi Ding, et al.2025 · 31 citations
31. SAC3: Reliable Hallucination Detection in Black-Box Language Models via Semantic-aware Cross-check ConsistencyarXiv:2311.01740Jiaxin Zhang, Zhuohang Li, Kamalika Das, et al.2023 · 28 citations
32. Exploring the Relationship between LLM Hallucinations and Prompt Linguistic Nuances: Readability, Formality, and ConcretenessarXiv:2309.11064Vipula Rawte, Prachi Priya, S.M Towhidul Islam Tonmoy, et al.2023 · 27 citations
33. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
34. 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
35. APOLLO: Automated LLM and Lean Collaboration for Advanced Formal ReasoningConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 17 citations
36. Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Chengwu Liu, Ye Yuan, Yichun Yin, et al.2025 · 17 citations
37. Mathematical exploration and discovery at scalearXiv:2511.02864Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, et al.2025 · 16 citations
38. 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
39. Evaluating Large Language Models for Health-related Queries with PresuppositionsFindings of the Association for Computational LinguisticsNavreet Kaur, Monojit Choudhury, Danish Pruthi2024 · 15 citations
40. CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Joshua Ong Jun Leang, Aryo Pradipta Gema, Shay B. Cohen2025 · 14 citations
41. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
42. NeuReasoner: Towards Explainable, Controllable, and Unified Reasoning via Mixture-of-NeuronsAnnual Meeting of the Association for Computational Linguistics (ACL)Haonan Dong, Kehan Jiang, Haoran Ye, et al.2026 · 13 citations
43. 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
44. A Probabilistic Framework for LLM Hallucination Detection via Belief Tree PropagationConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Bairu Hou, Yang Zhang, Jacob Andreas, et al.2025 · 12 citations
45. Optimizing Length Compression in Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Zhengxiang Cheng, Dongping Chen, Mingyang Fu, et al.2026 · 11 citations
46. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
47. Prolonged Reasoning Is Not All You Need: Certainty-Based Adaptive Routing for Efficient LLM/MLLM ReasoningarXiv:2505.15154Jinghui Lu, Haiyang Yu, Siliang Xu, et al.2025 · 11 citations
48. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
49. AlphaOne: Reasoning Models Thinking Slow and Fast at Test TimeConference on Empirical Methods in Natural Language Processing (EMNLP)Junyu Zhang, Runpei Dong, Han Wang, et al.2025 · 10 citations
50. Mathesis: Towards Formal Theorem Proving from Natural LanguagesarXiv:2506.07047Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.2025 · 9 citations
51. 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
52. Stop When Enough: Adaptive Early-Stopping for Chain-of-Thought ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Renliang Sun, Wei Cheng, Dawei Li, et al.2026 · 7 citations
53. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning ModelsConference on Neural Information Processing Systems (NeurIPS)Chenrui Cao, Liangcheng Song, Zenan Li, et al.2025 · 7 citations
54. 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
55. 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
56. KnowRL: Exploring Knowledgeable Reinforcement Learning for FactualityAnnual Meeting of the Association for Computational Linguistics (ACL)Baochang Ren, Shuofei Qiao, Ningyu Zhang, et al.2026 · 5 citations
57. Teach Small Models to Reason by Curriculum DistillationConference on Empirical Methods in Natural Language Processing (EMNLP)Wangyi Jiang, Yaojie Lu, Hongyu Lin, et al.2025 · 5 citations
58. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path ForwardConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 4 citations
59. Stress Testing Factual Consistency Metrics for Long-Document SummarizationAnnual Meeting of the Association for Computational Linguistics (ACL)Zain Muhammad Mujahid, Dustin Wright, Isabelle Augenstein2026 · 3 citations
60. Shakespearean Sparks: The Dance of Hallucination and Creativity in LLMs' Decoding LayersarXiv:2503.02851Zicong He; Boxuan Zhang;, Lu Cheng2025 · 3 citations
61. Less is More: Improving LLM Reasoning with Minimal Test-Time InterventionAnnual Meeting of the Association for Computational Linguistics (ACL)Zhen Yang, Mingyang Zhang, Feng Chen, et al.2026 · 2 citations
62. Think How to Think: Mitigating Overthinking with Autonomous Difficulty Cognition in Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Yongjiang Liu, Haoxi Li, Xiaosong Ma, et al.2026 · 2 citations
63. Anti-Length Shift: Dynamic Outlier Truncation for Training Efficient Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Wei Wu, Liyi Chen, Congxi Xiao, et al.2026 · 1 citation
64. NEAT: Neuron-Based Early Exit for Large Reasoning ModelsFindings of the Association for Computational LinguisticsKang Liu, YongKang Liu, Xiaocui Yang, et al.2026 · 1 citation
65. Not All Tokens Matter: Towards Efficient LLM Reasoning via Token Significance in Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Hanbing Liu, Lang Cao, Yuanyi Ren, et al.2026 · 1 citation
66. SafeAgent: Safeguarding LLM Agents via an Automated Risk SimulatorAnnual Meeting of the Association for Computational Linguistics (ACL)Xueyang Zhou, Weidong Wang, Lin Lu, et al.2026 · 1 citation
67. Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative VerifierAnnual Meeting of the Association for Computational Linguistics (ACL)Jianyuan Zhong, Zeju Li, Zhijian Xu, et al.2026 · 1 citation
68. When Is Thinking Enough? Early Exit via Sufficiency Assessment for Efficient ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Yang Xiang, Yixin Ji, Ruotao Xu, et al.2026 · 1 citation
69. Benchmarking Query-Conditioned Natural Language InferenceFindings of the Association for Computational LinguisticsMarc E. Canby, Xinchi Chen, Xing Niu, et al.2025 · 1 citation
70. Beyond Simple Term Injection: Reasoning Models for Legal Translation in a Non-Dominant Language VarietyAnnual Conference of the European Association for Machine Translation (EAMT)Paolo Di Natale, Elena Chiocchetti, Marlies Alber, et al.2026
71. ETR: Entropy Trend Reward for Efficient Chain-of-Thought ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Xuan Xiong, Huan Liu, Li Gu, et al.2026
72. Failure Modes in Multi-Hop QA: The Weakest Link Effect and the Recognition BottleneckAnnual Meeting of the Association for Computational Linguistics (ACL)Meiru Zhang, Zaiqiao Meng, Nigel Collier2026
73. Follow the Path: Reasoning over Knowledge Graph Paths to Improve Large Language Model FactualityFindings of the Association for Computational LinguisticsMike Zhang, Johannes Bjerva, Russa Biswas2026
74. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
75. LAFaCT: Attribution-based Localization and Focused Sequential Analysis of Fact-Critical Tokens for Hallucination DetectionAnnual Meeting of the Association for Computational Linguistics (ACL)Xin Wang, Jiahao Li, Licheng Zhang, et al.2026
76. RFS-Guard: Detecting Reasoning Hallucinations via Cross-Phase Routing Focus in Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Zihang Liu, Fang Zhouhua, Hui Liu, et al.2026
77. Seeing Isn't Believing: Mitigating Belief Inertia via Active Intervention in Embodied AgentsFindings of the Association for Computational LinguisticsHanlin Wang, Chak Tou Leong, Jian Wang, et al.2026
78. Shorten After You're Right: Lazy Length Penalties for Reasoning RLFindings of the Association for Computational LinguisticsDanlong Yuan, Tian Xie, Shaohan Huang, et al.2026
79. Survey on Hallucinations in Large Language Models (大语言模型的幻觉问题研究综述)Journal of SoftwareZeyuan Liu (刘泽垣), Pengjiang Wang (王鹏江), Xiaobin Song (宋晓斌), et al.2024

143 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/jingxuan-he/cited-by/