Gita Sundaram

Research

Gita is a co-author on cantor-18's specification-refinement line of work and on the verifiable-policies result. Her contributions centre on the algorithmic side of specification refinement — how should a specification be updated as new traces arrive, and how should the refinement be communicated back to the producing cell.

She has been with alphabell since 2021 and is based in Hyderabad. She works closely with Helena Salgueiro on cantor-18's overall research agenda and is on the cross-axis methodology review pool.

Background

Ph.D. computer science, IIIT Hyderabad, 2015.

Prior to alphabell: IIIT Hyderabad; Cantor Initiative; Wayfarer Institute.

Selected publications

• Mar 2025 · ab-verifiable-pol
  Toward Formal Verification of Learned Policies in Bounded Environments
  Aviva Stern, Sun Kyung-min, Felipe Avelar
• Sep 2024 · ab-interpretabili
  Interpretability Cell Pairing: how every dual-use capability run gets a watchful sibling
  Karima Belkadi, Hester Vandekerckhove, Yuki Cho
• May 2025 · ab-mechanistic-ci
  Mechanistic Circuit Analysis at Frontier Scale: cells as a unit of interpretability
  Jiang Yifei, Nico Almgren, Karima Belkadi, Hester Vandekerckhove
• Sep 2025 · ab-scalable-overs
  Scalable Oversight for Multi-Step Agent Systems: a Debate-Plus-Trace Approach
  Ifeoma Nwosu-Howard, Hiroshi Tanigawa, Maral Lotfi, Ruth Wernicke
• Nov 2024 · ab-sandboxed-self
  Sandboxed Self-Modification: a confinement specification and implementation
  Liora Sabatini, Cheung Wai-Lin, Marek Holub

Full publications index →

Recent talks

• Specifications, refined, FM 2025