Certified Circuits: Stability Guarantees for Mechanistic Circuits
Paper • 2602.22968 • Published
Tobias Lorenz
t-lorenz
AI & ML interests
None yet
Recent Activity
authored a paper 1 day ago
Certified Circuits: Stability Guarantees for Mechanistic Circuits authored a paper 1 day ago
Scalable Delphi: Large Language Models for Structured Risk Estimation authored a paper 1 day ago
MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear ProgramsOrganizations
None yet
authored 4
papers 1 day ago
Scalable Delphi: Large Language Models for Structured Risk Estimation
Paper • 2602.08889 • Published
MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs
Paper • 2412.10186 • Published
Pixel-level Certified Explanations via Randomized Smoothing
Paper • 2506.15499 • Published
authored 5
papers almost 2 years ago
Feature Generating Networks for Zero-Shot Learning
Paper • 1712.00981 • Published
FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks
Paper • 2406.11522 • Published
Certifiers Make Neural Networks Vulnerable to Availability Attacks
Paper • 2108.11299 • Published
Adaptive Hierarchical Certification for Segmentation using Randomized Smoothing
Paper • 2402.08400 • Published
Robustness Certification for Point Cloud Models
Paper • 2103.16652 • Published