8 citations · 27 across the 23 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023
Expressivity of ReLU-Networks under Convex Relaxations
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…
quant-ph2023★ 8 cited
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
Benjamin Bichsel, Anouk Paradis, Maximilian Baader +1
Stabilizer simulation can efficiently simulate an important class of quantum circuits consisting exclusively of Clifford gates. However, all existing extensions of this simulation…