← Search

Alaa Anani

3 accepted papers

2026

Certified Circuits: Stability Guarantees for Mechanistic Circuits

ICML 2026poster

Understanding *how* neural networks arrive at their predictions is essential for debugging, auditing, and deployment. Mechanistic interpretability pursues this goal by identifying *circuits*—minimal subnetworks responsible for specific behaviors. However, existing circuit discovery methods are britt…

Cited by 0SourceScholar
2025

Pixel-level Certified Explanations via Randomized Smoothing

ICML 2025poster

Post-hoc attribution methods aim to explain deep learning predictions by highlighting influential input pixels. However, these explanations are highly non-robust: small, imperceptible input perturbations can drastically alter the attribution map while maintaining the same prediction. This vulnerabil…

2024

Adaptive Hierarchical Certification for Segmentation using Randomized Smoothing

ICML 2024poster

Certification for machine learning is proving that no adversarial sample can evade a model within a range under certain conditions, a necessity for safety-critical domains. Common certification methods for segmentation use a flat set of fine-grained classes, leading to high abstain rates due to mode…