← 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 0SourceScholar
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 4SourcePDFScholar