---
title: "Who cites Markus N. Rabe — 409 papers of our library"
description: "409 papers of the Elamur Research library cite the works of Markus N. Rabe, found in their bibliographies · page 1 of 2 · 1–100; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/markus-n-rabe/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/markus-n-rabe/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Markus N. Rabe](https://md.research.elamur.ai/free/en/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](https://md.research.elamur.ai/free/en/authors/markus-n-rabe/)

**1** [2](https://md.research.elamur.ai/free/en/authors/markus-n-rabe/cited-by/page/2/) [next →](https://md.research.elamur.ai/free/en/authors/markus-n-rabe/cited-by/page/2/)

1. **[A Survey on Evaluation of Large Language Models](https://md.research.elamur.ai/free/en/papers/chang-2023-survey-evaluation-large-language-models/) [ACM Transactions on Intelligent Systems and Technology](https://md.research.elamur.ai/free/en/venues/acm-transactions-on-intelligent-systems-and-technology/)**Yupeng Chang, Xu Wang, Jindong Wang, et al.*2023 · 3,648 citations*
2. [**On the Opportunities and Risks of Foundation Models arXiv:2108.07258**Rishi Bommasani, Drew A. Hudson, Ehsan Adeli, et al.*2021 · 3,160 citations*](https://md.research.elamur.ai/free/en/papers/bommasani-2021-opportunities-risks-foundation-models/)
3. **[A Survey of Large Language Models](https://md.research.elamur.ai/free/en/papers/zhao-2023-survey-large-language-models/) [Frontiers of Computer Science](https://md.research.elamur.ai/free/en/venues/frontiers-of-computer-science/)**Wayne Xin Zhao, Kun Zhou, Junyi Li, et al.*2023 · 2,875 citations*
4. [**Measuring Mathematical Problem Solving With the MATH Dataset arXiv:2103.03874**Dan Hendrycks, Collin Burns, Saurav Kadavath, et al.*2021 · 2,395 citations*](https://md.research.elamur.ai/free/en/papers/hendrycks-2021-measuring-mathematical-problem-solving-math/)
5. [**Emergent Abilities of Large Language Models arXiv:2206.07682**Jason Wei, Yi Tay, Rishi Bommasani, et al.*2022 · 2,269 citations*](https://md.research.elamur.ai/free/en/papers/wei-2022-emergent-abilities-large-language-models/)
6. [**Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context arXiv:2403.05530**Gemini Team, Petko Georgiev, Ving Ian Lei, et al.*2024 · 1,589 citations*](https://md.research.elamur.ai/free/en/papers/gemini-team-2024-gemini-1-5-unlocking-multimodal/)
7. **[A Survey on RAG Meeting LLMs: Towards Retrieval-Augmented Large Language Models](https://md.research.elamur.ai/free/en/papers/fan-2024-survey-rag-meeting-llms-towards/) [ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)](https://md.research.elamur.ai/free/en/venues/acm-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 Li*2024 · 1,010 citations*
8. **[Solving Quantitative Reasoning Problems with Language Models](https://md.research.elamur.ai/free/en/papers/lewkowycz-2022-solving-quantitative-reasoning-problems-language/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.*2022 · 992 citations*
9. [**Unleashing the potential of prompt engineering for large language models arXiv:2310.14735 · Patterns 6(6) 101,260 (2025)**Banghao Chen, Zhaofeng Zhang, Nicolas Langrene, et al.*2023 · 536 citations*](https://md.research.elamur.ai/free/en/papers/chen-2023-unleashing-potential-prompt-engineering-large/)
10. [**LongBench: A Bilingual, Multitask Benchmark for Long Context Understanding arXiv:2308.14508**Yushi Bai, Xin Lv, Jiajie Zhang, et al.*2023 · 514 citations*](https://md.research.elamur.ai/free/en/papers/bai-2023-longbench-bilingual-multitask-benchmark/)
11. **[Mathematical Capabilities of ChatGPT](https://md.research.elamur.ai/free/en/papers/frieder-2023-mathematical-capabilities-chatgpt/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Simon Frieder, Luca Pinchetti, Alexis Chevalier, et al.*2023 · 449 citations*
12. [**Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning arXiv:2305.12295**Liangming Pan, Alon Albalak, Xinyi Wang, et al.*2023 · 374 citations*](https://md.research.elamur.ai/free/en/papers/pan-2023-logic-lm-empowering-large-language/)
13. [**Augmented Language Models: a Survey arXiv:2302.07842**Grégoire Mialon, Roberto Dessì, Maria Lomeli, et al.*2023 · 369 citations*](https://md.research.elamur.ai/free/en/papers/mialon-2023-augmented-language-models-survey/)
14. [**Retrieval-Augmented Generation for AI-Generated Content: A Survey arXiv:2402.19473**Penghao Zhao, Hailin Zhang, Qinhan Yu, et al.*2024 · 301 citations*](https://md.research.elamur.ai/free/en/papers/zhao-2024-retrieval-augmented-generation-ai-generated/)
15. [**Llemma: An Open Language Model For Mathematics arXiv:2310.10631**Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.*2023 · 286 citations*](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-llemma-open-language-model-mathematics/)
16. **[Large Language Models for Mathematical Reasoning: Progresses and Challenges](https://md.research.elamur.ai/free/en/papers/ahn-2024-large-language-models-mathematical-reasoning/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Janice Ahn, Rishu Verma, Renze Lou, et al.*2024 · 280 citations*
17. [**LongLoRA: Efficient Fine-tuning of Long-Context Large Language Models arXiv:2309.12307**Yukang Chen, Shengju Qian, Haotian Tang, et al.*2023 · 268 citations*](https://md.research.elamur.ai/free/en/papers/chen-2023-longlora-efficient-fine-tuning-long/)
18. [**MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics arXiv:2109.00110**Kunhao Zheng, Jesse Michael Han, Stanislas Polu*2021 · 257 citations*](https://md.research.elamur.ai/free/en/papers/zheng-2021-minif2f-cross-system-benchmark-formal/)
19. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*2023 · 253 citations*
20. [**Generative Language Modeling for Automated Theorem Proving arXiv:2009.03393**Stanislas Polu, Ilya Sutskever*2020 · 241 citations*](https://md.research.elamur.ai/free/en/papers/polu-2020-generative-language-modeling-automated-theorem/)
21. **[Self-planning Code Generation with Large Language Models](https://md.research.elamur.ai/free/en/papers/jiang-2023-self-planning-code-generation-large/) [ACM Transactions on Software Engineering and Methodology](https://md.research.elamur.ai/free/en/venues/acm-transactions-on-software-engineering-and-methodology/)**Xue Jiang, Yihong Dong, Lecheng Wang, et al.*2023 · 223 citations*
22. **[Language Models of Code are Few-Shot Commonsense Learners](https://md.research.elamur.ai/free/en/papers/madaan-2022-language-models-code-few-shot/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Aman Madaan, Shuyan Zhou, Uri Alon, et al.*2022 · 212 citations*
23. [**Autoformalization with Large Language Models arXiv:2205.12615**Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.*2022 · 204 citations*](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/)
24. **[A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation](https://md.research.elamur.ai/free/en/papers/huang-2023-survey-safety-trustworthiness-large-language/) [Artificial Intelligence Review](https://md.research.elamur.ai/free/en/venues/artificial-intelligence-review/)**Xiaowei Huang, Wenjie Ruan, Wei Huang, et al.*2023 · 199 citations*
25. **[Learning to Compress Prompts with Gist Tokens](https://md.research.elamur.ai/free/en/papers/mu-2023-learning-compress-prompts-gist-tokens/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Jesse Mu, Xiang Lisa Li, Noah Goodman*2023 · 178 citations*
26. [**Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs arXiv:2210.12283**Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.*2022 · 178 citations*](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/)
27. [**Baldur: Whole-Proof Generation and Repair with Large Language Models arXiv:2303.04910**Emily First, Markus N. Rabe, Talia Ringer, et al.*2023 · 175 citations*](https://md.research.elamur.ai/free/en/papers/first-2023-baldur-whole-proof-generation-repair/)
28. **[LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers](https://md.research.elamur.ai/free/en/papers/olausson-2023-linc-neurosymbolic-approach-logical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/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 LLMs](https://md.research.elamur.ai/free/en/papers/kamoi-2024-when-can-llms-actually-correct/) [Transactions of the Association for Computational Linguistics (TACL)](https://md.research.elamur.ai/free/en/venues/tacl/)**Ryo Kamoi, Yusen Zhang, Nan Zhang, et al.*2024 · 161 citations*
30. [**Reasoning with Language Model Prompting: A Survey arXiv:2212.09597**Shuofei Qiao, Yixin Ou, Ningyu Zhang, et al.*2022 · 161 citations*](https://md.research.elamur.ai/free/en/papers/qiao-2022-reasoning-language-model-prompting-survey/)
31. **[HyperTree Proof Search for Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.*2022 · 151 citations*
32. [**ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics arXiv:2302.12433**Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.*2023 · 142 citations*](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-proofnet-autoformalizing-formally-proving-undergraduate/)
33. **[Automatically Correcting Large Language Models: Surveying the Landscape of Diverse Automated Correction Strategies](https://md.research.elamur.ai/free/en/papers/pan-2024-automatically-correcting-large-language-models/) [Transactions of the Association for Computational Linguistics (TACL)](https://md.research.elamur.ai/free/en/venues/tacl/)**Liangming Pan, Michael Saxon, Wenda Xu, et al.*2024 · 140 citations*
34. [**Formal Mathematics Statement Curriculum Learning arXiv:2202.01344**Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.*2022 · 133 citations*](https://md.research.elamur.ai/free/en/papers/polu-2022-formal-mathematics-statement-curriculum-learning/)
35. [**Progressive-Hint Prompting Improves Reasoning in Large Language Models arXiv:2304.09797**Chuanyang Zheng, Zhengying Liu, Enze Xie, et al.*2023 · 131 citations*](https://md.research.elamur.ai/free/en/papers/zheng-2023-progressive-hint-prompting-improves-reasoning/)
36. **[InfLLM: Training-Free Long-Context Extrapolation for LLMs with an Efficient Context Memory](https://md.research.elamur.ai/free/en/papers/xiao-2024-infllm-training-free-long-context/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Chaojun Xiao, Pengle Zhang, Xu Han, et al.*2024 · 126 citations*
37. [**LongNet: Scaling Transformers to 1,000,000,000 Tokens arXiv:2307.02486**Jiayu Ding, Shuming Ma, Li Dong, et al.*2023 · 123 citations*](https://md.research.elamur.ai/free/en/papers/ding-2023-longnet-scaling-transformers-1-000/)
38. [**In-context Autoencoder for Context Compression in a Large Language Model arXiv:2307.06945**Tao Ge, Jing Hu, Lei Wang, et al.*2023 · 114 citations*](https://md.research.elamur.ai/free/en/papers/ge-2023-context-autoencoder-context-compression-large/)
39. [**DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data arXiv:2405.14333**Huajian Xin, Daya Guo, Zhihong Shao, et al.*2024 · 111 citations*](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-advancing-theorem-proving/)
40. **[Unlimiformer: Long-Range Transformers with Unlimited Length Input](https://md.research.elamur.ai/free/en/papers/bertsch-2023-unlimiformer-long-range-transformers-unlimited/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Amanda Bertsch, Uri Alon, Graham Neubig, et al.*2023 · 111 citations*
41. [**Efficient Large Language Models: A Survey arXiv:2312.03863**Zhongwei Wan, Xin Wang, Che Liu, et al.*2023 · 110 citations*](https://md.research.elamur.ai/free/en/papers/wan-2023-efficient-large-language-models-survey/)
42. [**Personal LLM Agents: Insights and Survey about the Capability, Efficiency and Security arXiv:2401.05459**Yuanchun Li, Hao Wen, Weijun Wang, et al.*2024 · 100 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-personal-llm-agents-insights-survey/)
43. [**Text and Patterns: For Effective Chain of Thought, It Takes Two to Tango arXiv:2209.07686**Aman Madaan, Amir Yazdanbakhsh*2022 · 98 citations*](https://md.research.elamur.ai/free/en/papers/madaan-2022-text-patterns-effective-chain-thought/)
44. [**Teaching Algorithmic Reasoning via In-context Learning arXiv:2211.09066**Hattie Zhou, Azade Nova, Hugo Larochelle, et al.*2022 · 96 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2022-teaching-algorithmic-reasoning-context-learning/)
45. **[LM-Infinite: Zero-Shot Extreme Length Generalization for Large Language Models](https://md.research.elamur.ai/free/en/papers/han-2024-lm-infinite-zero-shot-extreme/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Chi Han, Qifan Wang, Hao Peng, et al.*2024 · 95 citations*
46. [**LongMemEval: Benchmarking Chat Assistants on Long-Term Interactive Memory arXiv:2410.10813**Di Wu, Hongwei Wang, Wenhao Yu, et al.*2024 · 95 citations*](https://md.research.elamur.ai/free/en/papers/wu-2024-longmemeval-benchmarking-chat-assistants-long/)
47. **[LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models](https://md.research.elamur.ai/free/en/papers/parmar-2024-logicbench-systematic-evaluation-logical-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Mihir Parmar, Nisarg Patel, Neeraj Varshney, et al.*2024 · 93 citations*
48. **[PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition](https://md.research.elamur.ai/free/en/papers/tsoukalas-2024-putnambench-evaluating-neural-theorem-provers/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**George Tsoukalas, Jasper Lee, John Jennings, et al.*2024 · 93 citations*
49. [**How well do Large Language Models perform in Arithmetic tasks? arXiv:2304.02015**Zheng Yuan, Hongyi Yuan, Chuanqi Tan, et al.*2023 · 93 citations*](https://md.research.elamur.ai/free/en/papers/yuan-2023-well-large-language-models-perform/)
50. [**Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning arXiv:2504.11354**Haiming Wang, Mert Unsal, Xiaohan Lin, et al.*2025 · 92 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-kimina-prover-preview-large-formal/)
51. [**LLM Inference Unveiled: Survey and Roofline Model Insights arXiv 2024**Zhihang Yuan, Yuzhang Shang, Yang Zhou, et al.*2024 · 91 citations*](https://md.research.elamur.ai/free/en/papers/yuan-2024-llm-inference-unveiled-survey-roofline/)
52. [**Learning to Prove Theorems via Interacting with Proof Assistants arXiv:1905.09381**Kaiyu Yang, Jia Deng*2019 · 90 citations*](https://md.research.elamur.ai/free/en/papers/yang-2019-learning-prove-theorems-interacting-proof/)
53. **[BABILong: Testing the Limits of LLMs with Long Context Reasoning-in-a-Haystack](https://md.research.elamur.ai/free/en/papers/kuratov-2024-babilong-testing-limits-llms-long/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Yuri Kuratov, Aydar Bulatov, Petr Anokhin, et al.*2024 · 88 citations*
54. [**Landmark Attention: Random-Access Infinite Context Length for Transformers arXiv:2305.16300**Amirkeivan Mohtashami, Martin Jaggi*2023 · 88 citations*](https://md.research.elamur.ai/free/en/papers/mohtashami-2023-landmark-attention-random-access-infinite/)
55. [**Foundational Challenges in Assuring Alignment and Safety of Large Language Models arXiv:2404.09932**Usman Anwar, Abulhair Saparov, Javier Rando, et al.*2024 · 87 citations*](https://md.research.elamur.ai/free/en/papers/anwar-2024-foundational-challenges-assuring-alignment-safety/)
56. **[Retrieval-Augmented Generation for Natural Language Processing: A Survey](https://md.research.elamur.ai/free/en/papers/wu-2024-retrieval-augmented-generation-natural-language/) [Artificial Intelligence Review](https://md.research.elamur.ai/free/en/venues/artificial-intelligence-review/)**Shangyu Wu, Ying Xiong, Yufei Cui, et al.*2024 · 86 citations*
57. [**Mathematics, word problems, common sense, and artificial intelligence arXiv:2301.09723**Ernest Davis*2023 · 86 citations*](https://md.research.elamur.ai/free/en/papers/davis-2023-mathematics-word-problems-common-sense/)
58. [**Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving arXiv:2502.07640**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 84 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-frontier-model-open/)
59. **[DOC: Improving Long Story Coherence With Detailed Outline Control](https://md.research.elamur.ai/free/en/papers/yang-2023-doc-improving-long-story-coherence/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Kevin Yang, Dan Klein, Nanyun Peng, et al.*2023 · 83 citations*
60. [**Proof Artifact Co-training for Theorem Proving with Language Models arXiv:2102.06203**Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.*2021 · 82 citations*](https://md.research.elamur.ai/free/en/papers/han-2021-proof-artifact-co-training-theorem/)
61. **[MoBA: Mixture of Block Attention for Long-Context LLMs](https://md.research.elamur.ai/free/en/papers/lu-2025-moba-mixture-block-attention/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**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 problems](https://md.research.elamur.ai/free/en/papers/ying-2024-lean-workbook-large-scale-lean/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.*2024 · 80 citations*
63. [**Leave No Context Behind: Efficient Infinite Context Transformers with Infini-attention arXiv:2404.07143**Tsendsuren Munkhdalai, Manaal Faruqui, Siddharth Gopal*2024 · 80 citations*](https://md.research.elamur.ai/free/en/papers/munkhdalai-2024-leave-no-context-behind-efficient/)
64. [**LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656**Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.*2023 · 79 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-lego-prover-neural-theorem-proving/)
65. [**NaturalProofs: Mathematical Theorem Proving in Natural Language arXiv:2104.01112**Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.*2021 · 76 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/)
66. [**Large Language Models as Analogical Reasoners arXiv:2310.01714**Michihiro Yasunaga, Xinyun Chen, Yujia Li, et al.*2023 · 74 citations*](https://md.research.elamur.ai/free/en/papers/yasunaga-2023-large-language-models-analogical-reasoners/)
67. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/)
68. **[Natural Language to Code Generation in Interactive Data Science Notebooks](https://md.research.elamur.ai/free/en/papers/yin-2023-natural-language-code-generation-interactive/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 Models](https://md.research.elamur.ai/free/en/papers/dong-2024-bamboo-comprehensive-benchmark-evaluating-long/) [Language Resources and Evaluation Conference (LREC)](https://md.research.elamur.ai/free/en/venues/lrec/)**Zican Dong, Tianyi Tang, Junyi Li, et al.*2024 · 59 citations*
70. [**Samba: Simple Hybrid State Space Models for Efficient Unlimited Context Language Modeling arXiv:2406.07522**Liliang Ren, Yang Liu, Yadong Lu, et al.*2024 · 59 citations*](https://md.research.elamur.ai/free/en/papers/ren-2024-samba-simple-hybrid-state-space/)
71. [**FIMO: A Challenge Formal Dataset for Automated Theorem Proving arXiv:2309.04295**Chengwu Liu, Jianhao Shen, Huajian Xin, et al.*2023 · 53 citations*](https://md.research.elamur.ai/free/en/papers/liu-2023-fimo-challenge-formal-dataset-automated/)
72. **[Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving](https://md.research.elamur.ai/free/en/papers/quan-2024-verification-refinement-natural-language-explanations/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/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 Training arXiv:2309.10400**Dawei Zhu, Nan Yang, Liang Wang, et al.*2023 · 52 citations*](https://md.research.elamur.ai/free/en/papers/zhu-2023-pose-efficient-context-window/)
74. [**Kimi Linear: An Expressive, Efficient Attention Architecture arXiv:2510.26692**Kimi Team, Yu Zhang, Zongyu Lin, et al.*2025 · 51 citations*](https://md.research.elamur.ai/free/en/papers/kimi-team-2025-kimi-linear-expressive-efficient/)
75. [**Resolving Knowledge Conflicts in Large Language Models arXiv:2310.00935**Yike Wang, Shangbin Feng, Heng Wang, et al.*2023 · 48 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-resolving-knowledge-conflicts-large-language/)
76. [**A Human-Inspired Reading Agent with Gist Memory of Very Long Contexts arXiv:2402.09727**Kuang-Huei Lee, Xinyun Chen, Hiroki Furuta, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/lee-2024-human-inspired-reading-agent-gist/)
77. **[Bridging the Preference Gap between Retrievers and LLMs](https://md.research.elamur.ai/free/en/papers/ke-2024-bridging-preference-gap-between-retrievers/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 256K arXiv:2402.05136**Tao Yuan, Xuefei Ning, Dong Zhou, et al.*2024 · 41 citations*](https://md.research.elamur.ai/free/en/papers/yuan-2024-lv-eval-balanced-long-context/)
79. [**Through the Lens of Core Competency: Survey on Evaluation of Large Language Models arXiv:2308.07902**Ziyu Zhuang, Qiguang Chen, Longxuan Ma, et al.*2023 · 35 citations*](https://md.research.elamur.ai/free/en/papers/zhuang-2023-through-lens-core-competency-survey/)
80. [**Linear algebra with transformers arXiv:2112.01898**François Charton*2021 · 31 citations*](https://md.research.elamur.ai/free/en/papers/charton-2021-linear-algebra-transformers/)
81. [**NovelQA: Benchmarking Question Answering on Documents Exceeding 200K Tokens arXiv:2403.12766**Cunxiang Wang, Ruoxi Ning, Boqi Pan, et al.*2024 · 29 citations*](https://md.research.elamur.ai/free/en/papers/wang-2024-novelqa-benchmarking-question-answering-documents/)
82. **[AI4Research: A Survey of Artificial Intelligence for Scientific Research](https://md.research.elamur.ai/free/en/papers/chen-2025-ai4research-survey-artificial-intelligence/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Mingda Yang, Libo Qin, et al.*2025 · 21 citations*
83. [**Block-State Transformers arXiv:2306.09539**Mahan Fathi, Jonathan Pilault, Orhan Firat, et al.*2023 · 20 citations*](https://md.research.elamur.ai/free/en/papers/fathi-2023-block-state-transformers/)
84. [**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/)
85. [**MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving arXiv:2503.03205**Ruida Wang, Rui Pan, Yuxin Li, et al.*2025 · 18 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-ma-lot-model-collaboration-lean/)
86. [**FormalAlign: Automated Alignment Evaluation for Autoformalization arXiv:2410.10135**Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.*2024 · 18 citations*](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/)
87. **[ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data](https://md.research.elamur.ai/free/en/papers/liu-2025-atlas-autoformalizing-theorems-through-lifting/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.*2025 · 16 citations*
88. **[CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization](https://md.research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.*2026 · 12 citations*
89. **[A Survey of Inductive Reasoning for Large Language Models](https://md.research.elamur.ai/free/en/papers/chen-2026-survey-inductive-reasoning-large-language/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Kedi Chen, Dezhao Ruan, Yuhao Dan, et al.*2026 · 10 citations*
90. [**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/)
91. [**Associative Recurrent Memory Transformer arXiv:2407.04841**Ivan Rodkin, Yuri Kuratov, Aydar Bulatov, et al.*2024 · 8 citations*](https://md.research.elamur.ai/free/en/papers/rodkin-2024-associative-recurrent-memory-transformer/)
92. [**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/)
93. [**A New Approach Towards Autoformalization arXiv:2310.07957**Nilay Patel, Rahul Saha, Jeffrey Flanigan*2023 · 7 citations*](https://md.research.elamur.ai/free/en/papers/patel-2023-new-approach-towards-autoformalization/)
94. **[VisAidMath: Benchmarking Visual-Aided Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/ma-2026-visaidmath-benchmarking-visual-aided-mathematical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jingkun Ma, Runzhe Zhan, Yang Li, et al.*2026 · 5 citations*
95. [**GFLean: An Autoformalisation Framework for Lean via GF arXiv:2404.01234**Shashank Pathak*2024 · 5 citations*](https://md.research.elamur.ai/free/en/papers/pathak-2024-gflean-autoformalisation-framework-lean-gf/)
96. [**From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey arXiv:2108.11451**Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, et al.*2021 · 3 citations*](https://md.research.elamur.ai/free/en/papers/marra-2021-statistical-relational-neurosymbolic-artificial/)
97. **[Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition](https://md.research.elamur.ai/free/en/papers/xu-2026-adaptive-llm-symbolic-reasoning-dynamic/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/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 Capabilities](https://md.research.elamur.ai/free/en/papers/ponce-2026-gil-zaragoza-semeval-2026-task/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/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 Tasks](https://md.research.elamur.ai/free/en/papers/shelat-2026-beyond-memorization-testing-llm-reasoning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Shlok Shelat, Jay Raval, Souvik Roy, et al.*2026*
100. **[CARL: Constraint-Aware Reinforcement Learning for Planning with LLMs](https://md.research.elamur.ai/free/en/papers/qi-2026-carl-constraint-aware-reinforcement-learning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Qiuyi Qi, Jinjian Zhang, Mutian Bao, et al.*2026*

**1** [2](https://md.research.elamur.ai/free/en/authors/markus-n-rabe/cited-by/page/2/) [next →](https://md.research.elamur.ai/free/en/authors/markus-n-rabe/cited-by/page/2/)

- [← back to](https://md.research.elamur.ai/free/en/authors/markus-n-rabe/) — Markus N. Rabe