Certified Circuits: Stability Guarantees for Mechanistic Circuits Paper • 2602.22968 • Published 21 days ago
Scalable Delphi: Large Language Models for Structured Risk Estimation Paper • 2602.08889 • Published Feb 9
MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs Paper • 2412.10186 • Published Oct 26, 2025
Pixel-level Certified Explanations via Randomized Smoothing Paper • 2506.15499 • Published Jun 18, 2025
FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks Paper • 2406.11522 • Published Sep 11, 2024
Certifiers Make Neural Networks Vulnerable to Availability Attacks Paper • 2108.11299 • Published Aug 25, 2021
Adaptive Hierarchical Certification for Segmentation using Randomized Smoothing Paper • 2402.08400 • Published Feb 13, 2024