7 citations · 16 across the 9 of their papers we have counts for
4 papers · 1 filter
Arithmetic Circuits and Neural Networks for Regular Matroids
Christoph Hertrich, Stefan Kober, Georg Loho
We prove that there exist uniform -circuits of size to compute the basis generating polynomial of regular matroids on elements. By tropicalization, this…
Neural Networks and (Virtual) Extended Formulations
Christoph Hertrich, Georg Loho
Neural networks with piecewise linear activation functions, such as rectified linear units (ReLU) or maxout, are among the most fundamental models in modern machine learning. We ma…
Decomposition Polyhedra of Piecewise Linear Functions
Marie-Charlotte Brandenburg, Moritz Grillo, Christoph Hertrich
In this paper we contribute to the frequently studied question of how to decompose a continuous piecewise linear (CPWL) function into a difference of two convex CPWL functions. Eve…
Coloring Drawings of Graphs
Christoph Hertrich, Felix Schröder, Raphael Steiner
We consider cell colorings of drawings of graphs in the plane. Given a multi-graph together with a drawing in the plane with only finitely many crossings, we define a ce…