PeopleofSuperintelligence

Researcher

Ben Lipkin

Ben Lipkin is a researcher whose work connects language models with formal reasoning, code generation, and AI for mathematics. Before his PhD, he studied computational neuroscience at the University of Michigan and coauthored LINC, an EMNLP Outstanding Paper that uses a theorem prover. He contributed to StarCoder and the BigCode evaluation harness, and to NuminaMath, whose 7B TIR system won the first AIMO Progress Prize in 2024. His paper on adaptive weighted rejection sampling won COLM's 2025 Outstanding Paper Award, and his MIT BCS thesis defense on modular cognitive architecture was scheduled for December 2025; he completed a PhD at MIT. As of October 2026, he is a research scientist and research engineering group lead at a stealth startup.

Now at
stealth startup
Works
51
Citations
1,145
h-index
12
Badges

Publication numbers from OpenAlex, as of 19 October 2026.

Timeline

  1. 2023

    LINC wins an EMNLP award

    Before his PhD, he studies computational neuroscience at the University of Michigan. In 2023, he coauthors LINC, which translates natural-language premises and conclusions into first-order logic for an external theorem prover; EMNLP gives the paper an Outstanding Paper Award.

  2. 2023

    Evaluating code models

    He contributes to code-model development and evaluation through the StarCoder project. In 2023, the BigCode evaluation harness supports secure, containerized evaluation of code-generation language models.

  3. 2024

    NuminaMath wins the AIMO prize

    The NuminaMath dataset lists him as a coauthor. In 2024, NuminaMath 7B TIR wins the first AIMO Progress Prize after solving 29 of 50 problems on the private test set.

  4. 2025

    A COLM Outstanding Paper Award

    In 2025, his paper on adaptive weighted rejection sampling wins COLM's Outstanding Paper Award.

  5. By 2026

    A PhD and thesis defense

    He completes his PhD at MIT. MIT BCS schedules his thesis defense on modular cognitive architecture for December 2025.

  6. As of October 2026

    Research at a stealth startup

    He is a research scientist and research engineering group lead at a stealth startup building machine learning systems across language modeling, databases, and probabilistic computing.

Career

  1. Nowstealth startupResearch scientist and research engineering group lead

Education

  1. University of MichiganStudent in computational neuroscience
  2. Massachusetts Institute of TechnologyPhD

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. Glioblastoma remodelling of human neural circuits decreases survival2023 · Nature · 420 citations
  2. StarCoder: may the source be with you!2023 · 261 citationsWith Dzmitry Bahdanau, Niklas Muennighoff and Sasha Luccioni
  3. Functional alterations in cortical processing of speech in glioma-infiltrated cortex2021 · Proceedings of the National Academy of Sciences · 60 citations
  4. LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers2023 · Conference on Empirical Methods in Natural Language Processing (EMNLP) · 57 citationsWith Joshua B. Tenenbaum
  5. Distributed Sensitivity to Syntax and Semantics throughout the Language Network2024 · Journal of Cognitive Neuroscience · 49 citations

From OpenAlex, as of 19 October 2026.

  1. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes Massachusetts Institute of Technology. Our estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.
  2. Google had the most people shaping AI every year from 2014 to 2025Includes Massachusetts Institute of Technology. Our estimates of which organizations employed the most people shaping AI from 1961 to 2025, with a year-by-year chart.
  3. Google has the highest combined h-index among AI organizationsIncludes Massachusetts Institute of Technology. Our estimates of combined and median h-index at AI organizations, using current affiliations and OpenAlex records.
  4. The median h-index is 54 at universities and 19 at frontier AI labsIncludes Massachusetts Institute of Technology. The median h-index is 54 at universities and 19 at frontier AI labs. We compare publishing careers, citations and moves to estimate how universities and frontier labs contribute to AI research.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Ben Lipkin yet. Send us a free-licensed photo.

  1. About Me | Ben Lipkin benlipkin.github.io. Checked 18 October 2026.
  2. LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers - ACL Anthology aclanthology.org. Checked 18 October 2026.
  3. Best Papers - EMNLP 2023 2023.emnlp.org. Checked 18 October 2026.
  4. Selected Media Coverage | Ben Lipkin benlipkin.github.io. Checked 18 October 2026.
  5. AI-MO/NuminaMath-1.5 · Datasets at Hugging Face huggingface.co. Checked 18 October 2026.
  6. How NuminaMath Won the 1st AIMO Progress Prize huggingface.co. Checked 18 October 2026.
  7. COLM 2025: Accepted Papers colmweb.org. Checked 18 October 2026.
  8. Ben Lipkin Thesis Defense: Modular Cognitive Architecture in Natural and Artificial Intelligence | Brain and Cognitive Sciences bcs.mit.edu. Checked 18 October 2026.
  9. Ben Lipkin benlipkin.github.io. Checked 18 October 2026.