Formal Verification of Mechanistic Interpretability Interventions (In Progress)
Developing methods to formally verify safety properties of activation-editing techniques in transformer models, on toy models, aimed at a top-tier conference submission.
Read more →

