Showing 2025Show all
3 papers · 1 filter
cs.CC2025
Parameterized Hardness of Zonotope Containment and Neural Network Verification
Vincent Froese, Moritz Grillo, Christoph Hertrich +1
Neural networks with ReLU activations are a widely used model in machine learning. It is thus important to have a profound understanding of the properties of the functions computed…
math.OC2025
Optimized Qubit Routing for Commuting Gates via Integer Programming
Moritz Stargalla, Friedrich Wagner
Quantum computers promise to outperform their classical counterparts at certain tasks. However, existing quantum devices are error-prone and restricted in size. Thus, effective com…
cs.CC2025
The Computational Complexity of Counting Linear Regions in ReLU Neural Networks
Moritz Stargalla, Christoph Hertrich, Daniel Reichman
An established measure of the expressive power of a given ReLU neural network is the number of linear regions into which it partitions the input space. There exist many different,…