Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness

20 May 2022

Papers citing "Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness"

2 / 2 papers shown

Title
A Formally Verified Robustness Certifier for Neural Networks (Extended Version) James Tobler Hira Taqdees Syeda Toby Murray AAML 24 0 0 11 May 2025
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 37 34 0 06 Mar 2020