PhD Student
CoRR Certified Circuits: Stability Guarantees for Mechanistic Circuits.
Conference on Neural Information Processing Systems (NeurIPS)
MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs
International Conference on Machine Learning (ICML)
Pixel-level Certified Explanations via Randomized Smoothing
German Conference on Pattern Recognition (GCPR)
FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks
International Conference on Machine Learning (ICML)
Adaptive Hierarchical Certification for Segmentation using Randomized Smoothing
ACM Workshop on Artificial Intelligence and Security (AISec)
Certifiers Make Neural Networks Vulnerable to Availability Attacks
IEEE International Conference on Computer Vision (ICCV)
Robustness Certification for Point Cloud Models