74 citations · 132 across the 14 of their papers we have counts for
1 paper · 1 filter
Maximilian Baader, Mark Niklas Müller, Yuhao Mao +1
Convex relaxations are a key component of training and certifying provably safe neural networks. However, despite substantial progress, a wide and poorly understood accuracy gap to…