Tobias Lorenz

International Conference on Machine Learning (ICML)
Certified Circuits: Stability Guarantees for Mechanistic Circuits

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