Alaa Anani, Tobias Lorenz, Bernt Schiele, Mario Fritz, Jonas Fischer: Certified Circuits: Stability Guarantees for Mechanistic Circuits. CoRR abs/2602.22968 (2026)