← Search

Moritz Leo Grillo

3 accepted papers

2026

Parameterized Hardness of Zonotope Containment and Neural Network Verification

ICLR 2026poster

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 by such networks. Recently, there has been increasing interest in the (parameterized) computational complexity of deter…

Cited by 0Source ↗Scholar ↗
2025

Decomposition Polyhedra of Piecewise Linear Functions

ICLR 2025spotlight

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. Every CPWL function has infinitely many such decompositions, but for applications in optimization and neural network theory…

Cited by 4Source ↗PDF ↗Scholar ↗