Certified Robustness & Uncertainty Quantification for AI using Interval Arithmetic. Supports PyTorch & NumPy.