25 citations · 63 across the 13 of their papers we have counts for
4 papers · 1 filter
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations
Jacek Cyranka, Kevin E M Church, Jean-Philippe Lessard
We raise concerns about controllers' robustness in simple reinforcement learning benchmark problems. We focus on neural network controllers and their low neuron and symbolic abstra…
Improved Overparametrization Bounds for Global Convergence of Stochastic Gradient Descent for Shallow Neural Networks
Bartłomiej Polaczyk, Jacek Cyranka
We study the overparametrization bounds required for the global convergence of stochastic gradient descent algorithm for a class of one hidden layer feed-forward neural networks, c…
On The Verification of Neural ODEs with Stochastic Guarantees
Sophie Gruenbacher, Ramin Hasani, Mathias Lechner +3
We show that Neural ODEs, an emerging class of time-continuous neural networks, can be verified by solving a set of global-optimization problems. For this purpose, we introduce Sto…
Mapper Based Classifier
Jacek Cyranka, Alexander Georges, David Meyer
Topological data analysis aims to extract topological quantities from data, which tend to focus on the broader global structure of the data rather than local information. The Mappe…