A Computational Tropical Geometry Framework for Neural Networks
This work proposes a computational tropical geometry framework for the symbolic analysis of neural networks with tropical activations, and presents an algorithm, together with a proof of correctness, which computes the linear regions of a neural network as explicit unions of polyhedra.
Paul Lezeau, Thomas Walker, Yueqi Cao et al.
· 1 citation