Expressivity of ReLU-Networks under Convex Relaxations

7 November 2023

Maximilian Baader

Martin Vechev

Papers citing "Expressivity of ReLU-Networks under Convex Relaxations"

2 / 2 papers shown

Title
CTBENCH: A Library and Benchmark for Certified Training Yuhao Mao Stefan Balauca Martin Vechev OOD 47 4 0 07 Jun 2024
Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes Errors Ruihan Zhang Jun Sun AAML 31 3 0 19 May 2024