Research
Vera is a co-author on noether-12's symmetry-aware verification work. Her contributions centre on the mathematical machinery — group-theoretic and otherwise — that the cell uses to identify the symmetries that admit tractable verification.
She has been with alphabell since 2021 and is based in Belgrade. She works closely with Naledi Mokoena on the cell's research agenda.
Background
Ph.D. mathematics, University of Belgrade, 2014.
Prior to alphabell: University of Belgrade; Cantor Initiative; Wayfarer Institute.
Selected publications
-
Mar 2025 · ab-verifiable-polToward Formal Verification of Learned Policies in Bounded EnvironmentsAviva Stern, Sun Kyung-min, Felipe Avelar
-
Sep 2024 · ab-interpretabiliInterpretability Cell Pairing: how every dual-use capability run gets a watchful siblingKarima Belkadi, Hester Vandekerckhove, Yuki Cho
-
May 2025 · ab-mechanistic-ciMechanistic Circuit Analysis at Frontier Scale: cells as a unit of interpretabilityJiang Yifei, Nico Almgren, Karima Belkadi, Hester Vandekerckhove
-
Sep 2025 · ab-scalable-oversScalable Oversight for Multi-Step Agent Systems: a Debate-Plus-Trace ApproachIfeoma Nwosu-Howard, Hiroshi Tanigawa, Maral Lotfi, Ruth Wernicke
-
Aug 2025 · ab-compositional-Compositional Latent Dynamics for Long-Horizon World ModellingJonas Bremer, Sasha Petrov, Felicity Anjali Sandirasegaram, Tomoko Niwa
Recent talks
- Symmetries in learned policies, CAV 2025
Vera 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 Vera at vera-markovic@alphabell.com.
Contact
- EMAIL
vera-markovic@alphabell.com - ORCID
0000-6583-8861-1313 - X
@veramarkovic - BLUESKY
vera-markovic.bsky.social - GITHUB
@veramarkovic
Cross-references