What are the mathematical foundations behind Certified Circuits for AI interpretability?Answer not yet generated.