Lucas Liebenwein

Closed-form continuous-time neural networks

Ramin Hasani, Mathias Lechner, Alexander Amini et al. · Nature Machine Intelligence · 2022 · 132 citations · Full text

Lost in Pruning: The Effects of Pruning Neural Networks beyond Test Accuracy

Lucas Liebenwein, Cenk Baykal, Brandon Carter et al. · arXiv (Cornell University) · 2021 · 28 citations · Full text

Artificial Intelligence, Test Accuracy, Engineering +17

Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees

Lucas Liebenwein, Cenk Baykal, Igor Gilitschenski et al. · 2018 · 24 citations · Full text

Provable Filter Pruning for Efficient Neural Networks

Lucas Liebenwein, Cenk Baykal, Harry G. Lang et al. · arXiv (Cornell University) · 2019 · 23 citations · Full text

Artificial Intelligence, Pruned Network, Convolutional Neural Network +13

Compressing Neural Networks: Towards Determining the Optimal Layer-wise\n Decomposition

Lucas Liebenwein, Alaa Maalouf, O. Gal et al. · arXiv (Cornell University) · 2021 · 17 citations · Full text