123 citations · 153 across the 6 of their papers we have counts for
3 papers · 1 filter
Growing Tiny Networks: Spotting Expressivity Bottlenecks and Fixing Them Optimally
Manon Verbockhaven, Sylvain Chevallier, Guillaume Charpiat +1
Machine learning tasks are generally formulated as optimization problems, where one searches for an optimal function within a certain functional space. In practice, parameterized f…
Time and State Dependent Neural Delay Differential Equations
Thibault Monsel, Onofrio Semeraro, Lionel Mathelin +1
Discontinuities and delayed terms are encountered in the governing equations of a large class of problems ranging from physics and engineering to medicine and economics. These syst…
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer +2
The impressive results of modern neural networks partly come from their non linear behaviour. Unfortunately, this property makes it very difficult to apply formal verification tool…