PeopleofSuperintelligence

Researcher

Anne Baanen

As of October 2026, Anne Baanen is a mathematical research engineer on the Mathlib Initiative team. In April 2025, they were scheduled to present number theory computation at a Lean Prover and Math-AI workshop. They completed double majors in Computing Science and Mathematics at Utrecht University before pursuing a PhD at VU Amsterdam through the Lean Forward project from 2019 to 2023. Their career included a 2020 paper on a Lean tactic for ring expressions, a 2022 study of Mathlib's typeclass patterns, a 2024 doctorate on formalizing algebraic number theory, and papers on certifying rings of integers and maintaining Mathlib in 2024 and 2025.

Now at
Mathlib Initiative team
Works
14
Citations
34
h-index
3

Publication numbers from OpenAlex, as of 18 October 2026.

Timeline

  1. 2019–2023

    Utrecht studies and Lean Forward

    They complete double majors in Computing Science and Mathematics at Utrecht University before pursuing a PhD at VU Amsterdam through the Lean Forward project from 2019 to 2023.

  2. 2020

    A Lean tactic for ring exponents

    In 2020, they publish a paper describing ring_exp, a Lean tactic that normalizes commutative ring expressions with a binary exponent operator.

  3. 2022

    Analyzing Lean's typeclass patterns

    Their 2022 paper, Use and Abuse of Instance Parameters in the Lean Mathematical Library, analyzes how Lean instance parameters support typeclass patterns in Mathlib.

  4. 2024

    Formalizing algebraic number theory

    In 2024, they complete Formalizing Fundamental Algebraic Number Theory, a VU PhD thesis on extending Mathlib for Lean and formalizing fundamental algebraic number theory.

  5. 2024

    Certifying rings of integers

    In 2024, they coauthor a paper on certifying rings of integers in number fields, with SageMath producing Lean proofs for verification.

  6. April 2025

    A Math-AI workshop talk

    The April 2025 Lean Prover and Math-AI workshop schedules their talk on certifying algebraic number theory computation.

  7. 2025

    Managing a growing Mathlib

    In 2025, they coauthor Growing Mathlib, describing strategies for managing the library's growth through deprecations, linters, library design, and contribution-review tools.

  8. As of October 2026

    Mathematical Research Engineer

    As of October 2026, they are a Mathematical Research Engineer on the Mathlib Initiative team.

Career

  1. NowMathlib Initiative teamMathematical Research Engineer

Education

  1. 2024Vrije Universiteit AmsterdamPhD
  2. Utrecht UniversityDouble major in Computing Science and Mathematics

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

Most-cited works

  1. A Formalization of Dedekind Domains and Class Groups of Global Fields2022 · Journal of Automated Reasoning · 11 citations
  2. Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves2023 · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 6 citations
  3. Growing Mathlib: maintenance of a large scale mathematical library2025 · Lecture notes in computer science · 3 citations
  4. Use and abuse of instance parameters in the Lean mathematical library2022 · 3 citations
  5. A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper)2020 · Lecture notes in computer science · 2 citations

From OpenAlex, as of 18 October 2026.

  1. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes Vrije Universiteit Amsterdam. Our estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.
  2. The company share of AI researchers’ top papers rose from 3% to 32%Includes Vrije Universiteit Amsterdam. We estimate where leading AI researchers worked when their most-cited papers appeared. The company share rose from 3% in 1975–1979 to 32% in 2020–2024.
  3. Stanford University trained or employed 27 of the 111 AI major-prize winners, more than any other universityIncludes Utrecht University. Stanford University trained or employed 27 of the 111 AI major-prize winners, more than any other university. We compare doctorate and employment links for major-prize and best-paper winners.
  4. Google had the most people shaping AI every year from 2014 to 2025Our estimates of which organizations employed the most people shaping AI from 1961 to 2025, with a year-by-year chart.

Colleagues

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

Sources and credits

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

  1. Anne Baanen anne.mx. Checked 18 October 2026.
  2. Lean Forward lean-forward.github.io. Checked 18 October 2026.
  3. A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper) - Vrije Universiteit Amsterdam research.vu.nl. Checked 18 October 2026.
  4. Use and abuse of instance parameters in the Lean mathematical library arxiv.org. Checked 18 October 2026.
  5. Formalizing Fundamental Algebraic Number Theory - Vrije Universiteit Amsterdam research.vu.nl. Checked 18 October 2026.
  6. Certifying rings of integers in number fields arxiv.org. Checked 18 October 2026.
  7. Informal Workshop on Lean Prover and Math-AI math.iisc.ac.in. Checked 18 October 2026.
  8. Growing Mathlib: maintenance of a large scale mathematical library arxiv.org. Checked 18 October 2026.
  9. Team — Mathlib Initiative mathlib-initiative.org. Checked 18 October 2026.