--- title: "Anima Anandkumar — author profile and papers" description: "Anima Anandkumar: 2 papers on Elamur Research (2020–2023), h-index 37 — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/anima-anandkumar/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/anima-anandkumar/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Anima Anandkumar # Anima Anandkumar Anima Anandkumar has 2 papers in our library, in 2020–2023, most of them on [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/), [Text generation](https://md.research.elamur.ai/free/en/topics/text-generation/), [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Aidan Swope](https://md.research.elamur.ai/free/en/authors/aidan-swope/), [Alex Gu](https://md.research.elamur.ai/free/en/authors/alex-gu/), [Bryan Catanzaro](https://md.research.elamur.ai/free/en/authors/bryan-catanzaro/). 2 papers in our library · 2020–2023 [OpenAlex](https://openalex.org/A5023215207) · [**h-index 37**](https://openalex.org/authors/A5023215207) · [182 works](https://openalex.org/works?filter=author.id:A5023215207) · [5,612 citations](https://openalex.org/works?filter=author.id:A5023215207&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/anima-anandkumar/#papers) · [🔗 507 citations in our library](https://md.research.elamur.ai/free/en/authors/anima-anandkumar/cited-by/) · [6 more in our library without a page yet](#also) · [⭐ Paper Star rank #3722](https://md.research.elamur.ai/free/en/paper-stars/page/38/#star-3722) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Anima+Anandkumar) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Anima+Anandkumar) · [dblp](https://dblp.org/search?q=Anima+Anandkumar) · [ACL Anthology](https://aclanthology.org/search/?q=Anima+Anandkumar) ## Affiliations [🎓**California Institute of Technology** Pasadena · United States 2014–2026 · 258 papers](https://md.research.elamur.ai/free/en/universities/california-institute-of-technology/) · [🏢**Nvidia** Santa Clara · United States 2016–2026 · 85 papers](https://md.research.elamur.ai/free/en/companies/nvidia/) · [🎓**University of California, Irvine** Irvine · United States 2010–2021 · 84 papers](https://md.research.elamur.ai/free/en/universities/university-of-california-irvine/) · [🏢**Nvidia** Reading · United Kingdom 2019–2024 · 43 papers](https://md.research.elamur.ai/free/en/companies/nvidia-united-kingdom/) · [🎓**Cornell University** Ithaca · United States 2006–2018 · 23 papers](https://md.research.elamur.ai/free/en/universities/cornell-university/) · [🎓**Massachusetts Institute of Technology** Cambridge · United States 2009–2017 · 13 papers](https://md.research.elamur.ai/free/en/universities/massachusetts-institute-of-technology/) · [🏢**Amazon** Seattle · United States 2017–2020 · 8 papers](https://md.research.elamur.ai/free/en/companies/amazon/) · [🎓**Loughborough University** Loughborough · United Kingdom 2010–2013 · 5 papers](https://ror.org/04vg4w365) · [🎓**Hong Kong University of Science and Technology** Hong Kong · Hong Kong 2020–2023 · 4 papers](https://md.research.elamur.ai/free/en/universities/hong-kong-university-of-science-and-technology/) · [🎓**University of California, Berkeley** Berkeley · United States 2026 · 2 papers](https://md.research.elamur.ai/free/en/universities/university-of-california-berkeley/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 11 more institutions on single bylines are not listed. ## Concepts, shelves and topics Of its works in our library: the number of works on each and its rating among them. 📚 Shelves 6[Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Arts and Humanities · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Language and Linguistics · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/) 🧭 Topics 4[Language models & pretraining · 2 works](https://md.research.elamur.ai/free/en/topics/language-models/) · [Text generation · 1 work](https://md.research.elamur.ai/free/en/topics/text-generation/) · [Information retrieval & search · 1 work](https://md.research.elamur.ai/free/en/topics/information-retrieval/) · [Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2023** 1 paper](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) · [**2020** 1 paper](https://md.research.elamur.ai/free/en/papers/xu-2020-megatron-cntrl-controllable-story-generation/) ## Papers The most cited first (OpenAlex and our library). 1. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/)** *(2023 · 248 citations)* Research on machine learning for formal theorem proving has been hard to reproduce and build on. Earlier LLM-based provers kept their code and training data private, and some needed thousands of GPU-days of compute. The authors respond with LeanDojo, an open toolkit for the Lean proof assistant. It uses Lean 3 by… 2. **[MEGATRON-CNTRL: Controllable Story Generation with External Knowledge Using Large-Scale Language Models](https://md.research.elamur.ai/free/en/papers/xu-2020-megatron-cntrl-controllable-story-generation/)** *(2020 · 157 citations)* Large pretrained language models write fluent text, but they are hard to steer and often lose logical coherence in tasks that depend on knowledge, such as story writing. ## All works 8 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them. 1. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*[Conference on Neural Information Processing…](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/) · 248 citations* 2. **[MEGATRON-CNTRL: Controllable Story Generation with External Knowledge Using Large-Scale Language Models](https://md.research.elamur.ai/free/en/papers/xu-2020-megatron-cntrl-controllable-story-generation/)**Peng Xu, Mostofa Patwary, Mohammad Shoeybi, et al.*[Conference on Empirical Methods in Natural…](https://md.research.elamur.ai/free/en/venues/emnlp/) · 157 citations* 3. **[MineDojo: Building Open-Ended Embodied Agents with Internet-Scale Knowledge](https://arxiv.org/abs/2206.08853) (original ↗)**Linxi Fan et al.*2022 · arXiv:2206.08853 · 133 citations · no summary yet* 4. **[Eureka: Human-Level Reward Design via Coding Large Language Models](https://arxiv.org/abs/2310.12931) (original ↗)**Yecheng Jason Ma et al.*2023 · arXiv:2310.12931 · 119 citations · no summary yet* 5. **[Pre-Trained Language Models for Interactive Decision-Making](https://arxiv.org/abs/2202.01771) (original ↗)**Shuang Li et al.*2022 · arXiv:2202.01771 · 119 citations · no summary yet* 6. **[Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean](https://arxiv.org/abs/2404.12534) (original ↗)**Peiyang Song, Kaiyu Yang, Anima Anandkumar*2024 · arXiv:2404.12534 · 37 citations · no summary yet* 7. **[Autoformalizing Euclidean Geometry](https://arxiv.org/abs/2405.17216) (original ↗)**Logan Murphy et al.*2024 · arXiv:2405.17216 · 22 citations · no summary yet* 8. **[ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers](https://arxiv.org/abs/2607.19407) (original ↗)**Jiayi Wu, Robert Joseph George, Anima Anandkumar*2026 · arXiv:2607.19407 · no summary yet* ## Co-authors here 10 co-authors with a page, the most papers together first. - [Aidan Swope](https://md.research.elamur.ai/free/en/authors/aidan-swope/) - [Alex Gu](https://md.research.elamur.ai/free/en/authors/alex-gu/) - [Bryan Catanzaro](https://md.research.elamur.ai/free/en/authors/bryan-catanzaro/) - [Mohammad Shoeybi](https://md.research.elamur.ai/free/en/authors/mohammad-shoeybi/) - [Mostofa Patwary](https://md.research.elamur.ai/free/en/authors/mostofa-patwary/) - [Pascale Fung](https://md.research.elamur.ai/free/en/authors/pascale-fung/) - [Peng Xu](https://md.research.elamur.ai/free/en/authors/peng-xu/) - [Rahul Chalamala](https://md.research.elamur.ai/free/en/authors/rahul-chalamala/) - [Raul Puri](https://md.research.elamur.ai/free/en/authors/raul-puri/) - [Ryan Prenger](https://md.research.elamur.ai/free/en/authors/ryan-prenger/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference on Empirical Methods in Natural Language…](https://md.research.elamur.ai/free/en/venues/emnlp/): [2020](https://md.research.elamur.ai/free/en/venues/emnlp/2020/) - [Conference on Neural Information Processing Systems…](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/): [2023](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2023/) ## Cited by Papers of our library cite their works 507 times (of the 141,840 papers whose bibliographies we read); [29 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/anima-anandkumar/cited-by/). Updated 24 October 2026