Elamur Research⌕
☰
home / authors / Anima Anandkumar

Anima Anandkumar

Anima Anandkumar has 2 papers in our library, in 2020–2023, most of them on Language models & pretraining, Text generation, Reasoning; often with Aidan Swope, Alex Gu, Bryan Catanzaro.

2 papers in our library · 2020–2023

OpenAlex · h-index 37 · 182 works · 5,612 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 507 citations in our library · 6 more in our library without a page yet · ⭐ Paper Star rank #3722

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓California Institute of TechnologyPasadena · United States2014–2026 · 258 papers🏢NvidiaSanta Clara · United States2016–2026 · 85 papers🎓University of California, IrvineIrvine · United States2010–2021 · 84 papers🏢NvidiaReading · United Kingdom2019–2024 · 43 papers🎓Cornell UniversityIthaca · United States2006–2018 · 23 papers🎓Massachusetts Institute of TechnologyCambridge · United States2009–2017 · 13 papers🏢AmazonSeattle · United States2017–2020 · 8 papers🎓Loughborough UniversityLoughborough · United Kingdom2010–2013 · 5 papers🎓Hong Kong University of Science and TechnologyHong Kong · Hong Kong2020–2023 · 4 papers🎓University of California, BerkeleyBerkeley · United States2026 · 2 papers

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 Arts and Humanities · 2 works Computer Science · 2 works Language and Linguistics · 2 works Computational Theory and Mathematics · 1 work Mathematics · 1 work

🧭 Topics 4 Language models & pretraining · 2 works Text generation · 1 work Information retrieval & search · 1 work Reasoning · 1 work

 Works by year

2020s

20231 paper20201 paper

 Papers

The most cited first (OpenAlex and our library).

  1. LeanDojo: Theorem Proving with Retrieval-Augmented Language Models (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 (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.

Also in our library

6 more works of theirs are in our library without a page here yet; they will appear as we publish them.

 Co-authors here

10 co-authors with a page, the most papers together first.

 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 →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/anima-anandkumar/