From the 2 of 8 linked papers with an AI index.
8 papers
Shallower ReLU Network Representations via Exact Linear Algebra
Kilian RueÃ, Gennadiy Averkov, Florestan Brunck +7
We prove that the maximum of real numbers is exactly representable by a ReLU network with two hidden layers for every . The constructions are obtained by reducing the…
Tropical Circuits with Scalar Multiplication Gates
Christoph Hertrich, Moritz Stargalla
The paper studies tropical circuits that include scalar multiplication gates and proves exponential size lower bounds for computing maximum‑weight directed spanning trees and bipar…
OptFSST: Optimized FSST String Compression
Hedi Chehaidar, Mihail Stoian, Moritz Stargalla +1
The paper introduces OptFSST, an enhanced version of Fast Static Symbol Table compression that uses dynamic programming and heuristic table construction to achieve better compressi…
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…
An Adaptive Variable Neighborhood Search for a Family of Set Covering Routing Problems with an Application in Disaster Relief Operations
Andreas Hagn, Jan Krause, Moritz Stargalla +1
This paper studies a variant of the Set Covering Routing Problem (SCRP) motivated by post-disaster humanitarian logistics. We consider a hybrid distribution concept in which the ma…
An Adaptive Variable Neighborhood Search for a Family of Set Covering Routing Problems with an Application in Disaster Relief Operations
Andreas Hagn, Jan Krause, Moritz Stargalla +1
This paper studies a variant of the Set Covering Routing Problem (SCRP) motivated by post-disaster humanitarian logistics. We consider a hybrid distribution concept in which the ma…