Working with PIRA Team
Keep assigning work in one conversation. PIRA coordinates independent tasks, brings decisions back to you, and keeps the main conversation focused.
Recent posts
How Can Randomized Smoothing Adapt? Neural Network Certification, Part 9
Adapt randomized smoothing by denoising April’s noisy photographs and choosing a certifiably safe noise level for each input.
How Can Random Noise Produce a Certificate? Neural Network Certification, Part 8
Follow noisy copies of April’s photo from majority vote to a probabilistic robustness certificate, then examine training and evaluation.
Existence, Training, and Proof: Neural Network Certification, Part 7
Four frontiers separate approximate existence, trainability, precise expressivity, and the limits of convex verification.
How Can Training Make Robustness Easier to Prove? Neural Network Certification, Part 6
Follow April’s worst-case loss from attacks to sound bounds, then separate sound certified training from unsound training surrogates.