Sun Kyung-min

Research

Kyung-min is a co-author of the verification framework paper. Her contributions centre on the abstract-interpretation side of the framework — the static-analysis machinery applied to the policy network.

She has been with alphabell since 2020 and is based in Seoul. She works closely with Aviva Stern and Felipe Avelar on the lebesgue-22 verification agenda.

Kyung-min is one of the lab's primary contacts for the South Korean academic AI safety community.

Background

Ph.D. computer science, KAIST, 2015.

Prior to alphabell: KAIST; Pythia Lab; 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 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
• 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
• 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

• Abstract interpretation for policy networks, CAV 2024
• What we proved and what we did not, ICLR 2025