Skip to content
conftrace_

verified robustness

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

interval bound propagation (2) adversarial training (2) text deletion (1) worst-case loss (1) safety-critical system (1) robustness verification (1) convex combination (1) edge computing (1) natural language inference (1) adversarial robustness (1)

Papers

Expressive Losses for Verified Robustness via Convex Combinations ICLR 2024 VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch AAAI 2024 Towards Verified Robustness under Text Deletion Interventions ICLR 2020