Elamur Research⌕
☰
home / authors / Markus N. Rabe / cited by

Who cites Markus N. Rabe

567 citations of their works from 409 papers of our library (of the 149,439 whose bibliographies we read) · 104 with a page here, the most cited first · page 1 of 2 · 1–100 · ← Markus N. Rabe

1 2

  1. A Survey on Evaluation of Large Language ModelsACM Transactions on Intelligent Systems and TechnologyYupeng Chang, Xu Wang, Jindong Wang, et al.2023 · 3,648 citations
  2. On the Opportunities and Risks of Foundation ModelsarXiv:2108.07258Rishi Bommasani, Drew A. Hudson, Ehsan Adeli, et al.2021 · 3,160 citations
  3. A Survey of Large Language ModelsFrontiers of Computer ScienceWayne Xin Zhao, Kun Zhou, Junyi Li, et al.2023 · 2,875 citations
  4. Measuring Mathematical Problem Solving With the MATH DatasetarXiv:2103.03874Dan Hendrycks, Collin Burns, Saurav Kadavath, et al.2021 · 2,395 citations
  5. Emergent Abilities of Large Language ModelsarXiv:2206.07682Jason Wei, Yi Tay, Rishi Bommasani, et al.2022 · 2,269 citations
  6. Gemini 1.5: Unlocking multimodal understanding across millions of tokens of contextarXiv:2403.05530Gemini Team, Petko Georgiev, Ving Ian Lei, et al.2024 · 1,589 citations
  7. A Survey on RAG Meeting LLMs: Towards Retrieval-Augmented Large Language ModelsACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)Wenqi Fan; Yujuan Ding; Liangbo Ning; Shijie Wang; Hengyun Li; Dawei Yin; Tat-Seng Chua;, Qing Li2024 · 1,010 citations
  8. Solving Quantitative Reasoning Problems with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.2022 · 992 citations
  9. Unleashing the potential of prompt engineering for large language modelsarXiv:2310.14735 · Patterns 6(6) 101,260 (2025)Banghao Chen, Zhaofeng Zhang, Nicolas Langrene, et al.2023 · 536 citations
  10. LongBench: A Bilingual, Multitask Benchmark for Long Context UnderstandingarXiv:2308.14508Yushi Bai, Xin Lv, Jiajie Zhang, et al.2023 · 514 citations
  11. Mathematical Capabilities of ChatGPTConference on Neural Information Processing Systems (NeurIPS)Simon Frieder, Luca Pinchetti, Alexis Chevalier, et al.2023 · 449 citations
  12. Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical ReasoningarXiv:2305.12295Liangming Pan, Alon Albalak, Xinyi Wang, et al.2023 · 374 citations
  13. Augmented Language Models: a SurveyarXiv:2302.07842Grégoire Mialon, Roberto Dessì, Maria Lomeli, et al.2023 · 369 citations
  14. Retrieval-Augmented Generation for AI-Generated Content: A SurveyarXiv:2402.19473Penghao Zhao, Hailin Zhang, Qinhan Yu, et al.2024 · 301 citations
  15. Llemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citations
  16. Large Language Models for Mathematical Reasoning: Progresses and ChallengesConference of the European Chapter of the Association for Computational Linguistics (EACL)Janice Ahn, Rishu Verma, Renze Lou, et al.2024 · 280 citations
  17. LongLoRA: Efficient Fine-tuning of Long-Context Large Language ModelsarXiv:2309.12307Yukang Chen, Shengju Qian, Haotian Tang, et al.2023 · 268 citations
  18. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110Kunhao Zheng, Jesse Michael Han, Stanislas Polu2021 · 257 citations
  19. LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsConference on Neural Information Processing Systems (NeurIPS)Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 253 citations
  20. Generative Language Modeling for Automated Theorem ProvingarXiv:2009.03393Stanislas Polu, Ilya Sutskever2020 · 241 citations
  21. Self-planning Code Generation with Large Language ModelsACM Transactions on Software Engineering and MethodologyXue Jiang, Yihong Dong, Lecheng Wang, et al.2023 · 223 citations
  22. Language Models of Code are Few-Shot Commonsense LearnersConference on Empirical Methods in Natural Language Processing (EMNLP)Aman Madaan, Shuyan Zhou, Uri Alon, et al.2022 · 212 citations
  23. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
  24. A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and ValidationArtificial Intelligence ReviewXiaowei Huang, Wenjie Ruan, Wei Huang, et al.2023 · 199 citations
  25. Learning to Compress Prompts with Gist TokensConference on Neural Information Processing Systems (NeurIPS)Jesse Mu, Xiang Lisa Li, Noah Goodman2023 · 178 citations
  26. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsarXiv:2210.12283Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 178 citations
  27. Baldur: Whole-Proof Generation and Repair with Large Language ModelsarXiv:2303.04910Emily First, Markus N. Rabe, Talia Ringer, et al.2023 · 175 citations
  28. LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic ProversConference on Empirical Methods in Natural Language Processing (EMNLP)Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.2023 · 172 citations
  29. When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMsTransactions of the Association for Computational Linguistics (TACL)Ryo Kamoi, Yusen Zhang, Nan Zhang, et al.2024 · 161 citations
  30. Reasoning with Language Model Prompting: A SurveyarXiv:2212.09597Shuofei Qiao, Yixin Ou, Ningyu Zhang, et al.2022 · 161 citations
  31. HyperTree Proof Search for Neural Theorem ProvingConference on Neural Information Processing Systems (NeurIPS)Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022 · 151 citations
  32. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citations
  33. Automatically Correcting Large Language Models: Surveying the Landscape of Diverse Automated Correction StrategiesTransactions of the Association for Computational Linguistics (TACL)Liangming Pan, Michael Saxon, Wenda Xu, et al.2024 · 140 citations
  34. Formal Mathematics Statement Curriculum LearningarXiv:2202.01344Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 · 133 citations
  35. Progressive-Hint Prompting Improves Reasoning in Large Language ModelsarXiv:2304.09797Chuanyang Zheng, Zhengying Liu, Enze Xie, et al.2023 · 131 citations
  36. InfLLM: Training-Free Long-Context Extrapolation for LLMs with an Efficient Context MemoryConference on Neural Information Processing Systems (NeurIPS)Chaojun Xiao, Pengle Zhang, Xu Han, et al.2024 · 126 citations
  37. LongNet: Scaling Transformers to 1,000,000,000 TokensarXiv:2307.02486Jiayu Ding, Shuming Ma, Li Dong, et al.2023 · 123 citations
  38. In-context Autoencoder for Context Compression in a Large Language ModelarXiv:2307.06945Tao Ge, Jing Hu, Lei Wang, et al.2023 · 114 citations
  39. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
  40. Unlimiformer: Long-Range Transformers with Unlimited Length InputConference on Neural Information Processing Systems (NeurIPS)Amanda Bertsch, Uri Alon, Graham Neubig, et al.2023 · 111 citations
  41. Efficient Large Language Models: A SurveyarXiv:2312.03863Zhongwei Wan, Xin Wang, Che Liu, et al.2023 · 110 citations
  42. Personal LLM Agents: Insights and Survey about the Capability, Efficiency and SecurityarXiv:2401.05459Yuanchun Li, Hao Wen, Weijun Wang, et al.2024 · 100 citations
  43. Text and Patterns: For Effective Chain of Thought, It Takes Two to TangoarXiv:2209.07686Aman Madaan, Amir Yazdanbakhsh2022 · 98 citations
  44. Teaching Algorithmic Reasoning via In-context LearningarXiv:2211.09066Hattie Zhou, Azade Nova, Hugo Larochelle, et al.2022 · 96 citations
  45. LM-Infinite: Zero-Shot Extreme Length Generalization for Large Language ModelsConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Chi Han, Qifan Wang, Hao Peng, et al.2024 · 95 citations
  46. LongMemEval: Benchmarking Chat Assistants on Long-Term Interactive MemoryarXiv:2410.10813Di Wu, Hongwei Wang, Wenhao Yu, et al.2024 · 95 citations
  47. LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Mihir Parmar, Nisarg Patel, Neeraj Varshney, et al.2024 · 93 citations
  48. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical CompetitionConference on Neural Information Processing Systems (NeurIPS)George Tsoukalas, Jasper Lee, John Jennings, et al.2024 · 93 citations
  49. How well do Large Language Models perform in Arithmetic tasks?arXiv:2304.02015Zheng Yuan, Hongyi Yuan, Chuanqi Tan, et al.2023 · 93 citations
  50. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
  51. LLM Inference Unveiled: Survey and Roofline Model InsightsarXiv 2024Zhihang Yuan, Yuzhang Shang, Yang Zhou, et al.2024 · 91 citations
  52. Learning to Prove Theorems via Interacting with Proof AssistantsarXiv:1905.09381Kaiyu Yang, Jia Deng2019 · 90 citations
  53. BABILong: Testing the Limits of LLMs with Long Context Reasoning-in-a-HaystackConference on Neural Information Processing Systems (NeurIPS)Yuri Kuratov, Aydar Bulatov, Petr Anokhin, et al.2024 · 88 citations
  54. Landmark Attention: Random-Access Infinite Context Length for TransformersarXiv:2305.16300Amirkeivan Mohtashami, Martin Jaggi2023 · 88 citations
  55. Foundational Challenges in Assuring Alignment and Safety of Large Language ModelsarXiv:2404.09932Usman Anwar, Abulhair Saparov, Javier Rando, et al.2024 · 87 citations
  56. Retrieval-Augmented Generation for Natural Language Processing: A SurveyArtificial Intelligence ReviewShangyu Wu, Ying Xiong, Yufei Cui, et al.2024 · 86 citations
  57. Mathematics, word problems, common sense, and artificial intelligencearXiv:2301.09723Ernest Davis2023 · 86 citations
  58. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
  59. DOC: Improving Long Story Coherence With Detailed Outline ControlAnnual Meeting of the Association for Computational Linguistics (ACL)Kevin Yang, Dan Klein, Nanyun Peng, et al.2023 · 83 citations
  60. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
  61. MoBA: Mixture of Block Attention for Long-Context LLMsConference on Neural Information Processing Systems (NeurIPS)Enzhe Lu, Zhejun Jiang, Jingyuan Liu, et al.2025 · 80 citations
  62. 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
  63. Leave No Context Behind: Efficient Infinite Context Transformers with Infini-attentionarXiv:2404.07143Tsendsuren Munkhdalai, Manaal Faruqui, Siddharth Gopal2024 · 80 citations
  64. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
  65. NaturalProofs: Mathematical Theorem Proving in Natural LanguagearXiv:2104.01112Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.2021 · 76 citations
  66. Large Language Models as Analogical ReasonersarXiv:2310.01714Michihiro Yasunaga, Xinyun Chen, Yujia Li, et al.2023 · 74 citations
  67. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
  68. Natural Language to Code Generation in Interactive Data Science NotebooksAnnual Meeting of the Association for Computational Linguistics (ACL)Pengcheng Yin, Wen-Ding Li, Kefan Xiao, et al.2023 · 63 citations
  69. BAMBOO: A Comprehensive Benchmark for Evaluating Long Text Modeling Capacities of Large Language ModelsLanguage Resources and Evaluation Conference (LREC)Zican Dong, Tianyi Tang, Junyi Li, et al.2024 · 59 citations
  70. Samba: Simple Hybrid State Space Models for Efficient Unlimited Context Language ModelingarXiv:2406.07522Liliang Ren, Yang Liu, Yadong Lu, et al.2024 · 59 citations
  71. FIMO: A Challenge Formal Dataset for Automated Theorem ProvingarXiv:2309.04295Chengwu Liu, Jianhao Shen, Huajian Xin, et al.2023 · 53 citations
  72. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem ProvingConference on Empirical Methods in Natural Language Processing (EMNLP)Xin Quan, Marco Valentino, Louise A. Dennis, et al.2024 · 52 citations
  73. PoSE: Efficient Context Window Extension of LLMs via Positional Skip-wise TrainingarXiv:2309.10400Dawei Zhu, Nan Yang, Liang Wang, et al.2023 · 52 citations
  74. Kimi Linear: An Expressive, Efficient Attention ArchitecturearXiv:2510.26692Kimi Team, Yu Zhang, Zongyu Lin, et al.2025 · 51 citations
  75. Resolving Knowledge Conflicts in Large Language ModelsarXiv:2310.00935Yike Wang, Shangbin Feng, Heng Wang, et al.2023 · 48 citations
  76. A Human-Inspired Reading Agent with Gist Memory of Very Long ContextsarXiv:2402.09727Kuang-Huei Lee, Xinyun Chen, Hiroki Furuta, et al.2024 · 46 citations
  77. Bridging the Preference Gap between Retrievers and LLMsAnnual Meeting of the Association for Computational Linguistics (ACL)Zixuan Ke, Weize Kong, Cheng Li, et al.2024 · 46 citations
  78. LV-Eval: A Balanced Long-Context Benchmark with 5 Length Levels Up to 256KarXiv:2402.05136Tao Yuan, Xuefei Ning, Dong Zhou, et al.2024 · 41 citations
  79. Through the Lens of Core Competency: Survey on Evaluation of Large Language ModelsarXiv:2308.07902Ziyu Zhuang, Qiguang Chen, Longxuan Ma, et al.2023 · 35 citations
  80. Linear algebra with transformersarXiv:2112.01898François Charton2021 · 31 citations
  81. NovelQA: Benchmarking Question Answering on Documents Exceeding 200K TokensarXiv:2403.12766Cunxiang Wang, Ruoxi Ning, Boqi Pan, et al.2024 · 29 citations
  82. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
  83. Block-State TransformersarXiv:2306.09539Mahan Fathi, Jonathan Pilault, Orhan Firat, et al.2023 · 20 citations
  84. 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
  85. 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
  86. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
  87. 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
  88. 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
  89. A Survey of Inductive Reasoning for Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Kedi Chen, Dezhao Ruan, Yuhao Dan, et al.2026 · 10 citations
  90. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
  91. Associative Recurrent Memory TransformerarXiv:2407.04841Ivan Rodkin, Yuri Kuratov, Aydar Bulatov, et al.2024 · 8 citations
  92. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
  93. A New Approach Towards AutoformalizationarXiv:2310.07957Nilay Patel, Rahul Saha, Jeffrey Flanigan2023 · 7 citations
  94. VisAidMath: Benchmarking Visual-Aided Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Jingkun Ma, Runzhe Zhan, Yang Li, et al.2026 · 5 citations
  95. GFLean: An Autoformalisation Framework for Lean via GFarXiv:2404.01234Shashank Pathak2024 · 5 citations
  96. From Statistical Relational to Neurosymbolic Artificial Intelligence: a SurveyarXiv:2108.11451Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, et al.2021 · 3 citations
  97. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver CompositionConference of the European Chapter of the Association for Computational Linguistics (EACL)Lei Xu, Pierre Beckmann, Marco Valentino, et al.2026 · 2 citations
  98. GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning CapabilitiesInternational Workshop on Semantic Evaluation (SemEval)Francisco Lopez-Ponce, Lucia Pitarch, Iván Saavedra Martínez, et al.2026 · 1 citation
  99. Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation TasksFindings of the Association for Computational LinguisticsShlok Shelat, Jay Raval, Souvik Roy, et al.2026
  100. CARL: Constraint-Aware Reinforcement Learning for Planning with LLMsFindings of the Association for Computational LinguisticsQiuyi Qi, Jinjian Zhang, Mutian Bao, et al.2026

1 2

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/markus-n-rabe/cited-by/