← Search

Tobias Lorenz

6 accepted papers

2026

Certified Circuits: Stability Guarantees for Mechanistic Circuits

ICML 2026poster

Understanding *how* neural networks arrive at their predictions is essential for debugging, auditing, and deployment. Mechanistic interpretability pursues this goal by identifying *circuits*—minimal subnetworks responsible for specific behaviors. However, existing circuit discovery methods are britt…

Cited by 0SourceScholar
2025

MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs

NeurIPS 2025poster

Data errors, corruptions, and poisoning attacks during training pose a major threat to the reliability of modern AI systems. While extensive effort has gone into empirical mitigations, the evolving nature of attacks and the complexity of data require a more principled, provable approach to robustly…

Cited by 0SourceScholar
2025

Pixel-level Certified Explanations via Randomized Smoothing

ICML 2025poster

Post-hoc attribution methods aim to explain deep learning predictions by highlighting influential input pixels. However, these explanations are highly non-robust: small, imperceptible input perturbations can drastically alter the attribution map while maintaining the same prediction. This vulnerabil…

2024

Adaptive Hierarchical Certification for Segmentation using Randomized Smoothing

ICML 2024poster

Certification for machine learning is proving that no adversarial sample can evade a model within a range under certain conditions, a necessity for safety-critical domains. Common certification methods for segmentation use a flat set of fine-grained classes, leading to high abstain rates due to mode…

2021

Robustness Certification for Point Cloud Models

ICCV 2021poster

The use of deep 3D point cloud models in safety-critical applications, such as autonomous driving, dictates the need to certify the robustness of these models to real-world transformations. This is technically challenging, as it requires a scalable verifier tailored to point cloud models that handle…

Cited by 33PDFcodeScholar