Showing 2026Show all
2 papers · 1 filter
cs.CC2026
Fractal Gadgets for Neural Networks: The Complexity of the Narrow Regime
Olivier Bournez, Johanne Cohen, Laura Cohen +1
We study the verification problem for deep narrow ReLU neural networks: given a network of bounded width computing a piecewise-affine map on [0,1], does some input satisfy a prescr…
cs.LO2026
Security Properties of Neural Networks as Decision Problems
Adrian Wurm
Certifying a deployed neural network raises decision problems that the verification literature has not classified: whether the model carries a backdoor planted in its training data…