Certified Adversarial Robustness via Randomized Smoothing | Synapse