Expressivity of ReLU-Networks under Convex Relaxations.

Maximilian Baader Mark Niklas Müller Yuhao Mao Martin T. Vechev

Published in: CoRR (2023)

Keyphrases

convex relaxation
convex optimization
multi label
efficient optimization
neural network
genetic algorithm
optimization methods
decision trees
dynamic programming