αlphabell.
α · People · Naledi Mokoena
Stylised avatar of Naledi Mokoena

Naledi Mokoena

Long-tenured contributor

Based in Cape Town
Node-cell noether-12
ORCID 0000-6730-9464-0240

Research

Naledi leads noether-12, the cell working on symmetry-aware verification of learned policies. The cell's name is intentional — Emmy Noether's theorem on the relationship between symmetries and conservation laws is the analogy the cell uses for its core claim: that policies with the right symmetries admit verification approaches that policies without those symmetries do not.

She has been with alphabell since 2021. She is a co-author of the verifiable-policies result and is one of the contributors leading the work on weakening the boundedness requirement of the lab's verification framework.

Naledi is based in Cape Town. She is the lab's primary point of contact for the regional academic community and chairs a small annual workshop on formal methods for AI in Africa.

Background

Ph.D. mathematics, University of Cape Town, 2014.

Prior to alphabell: University of Cape Town; Wayfarer Institute; Cantor Initiative.

Selected publications

Full publications index →

Recent talks

  • Symmetry-aware policy verification, CAV 2025
  • What symmetries reveal about policies, ICLR 2025 workshop
Working with

Naledi is currently part of node-cell noether-12, working under the Interpretability & alignment research axis. The cell is open to substantive correspondence from researchers working on adjacent problems; route requests through noether-12@alphabell.com or directly to Naledi at naledi-mokoena@alphabell.com.