Lucas Liebenwein
Title
Cited by
Cited by
Year
Data-Dependent Coresets for Compressing Neural Networks with Applications to Generalization Bounds
C Baykal*, L Liebenwein*, I Gilitschenski, D Feldman, D Rus
International Conference on Learning Representations, 2019
282019
Provable Filter Pruning for Efficient Neural Networks
L Liebenwein*, C Baykal*, H Lang, D Feldman, D Rus
International Conference on Learning Representations, 2020
172020
Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees
L Liebenwein*, C Baykal*, I Gilitschenski, S Karaman, D Rus
Robotics: Science and Systems XIV (RSS), 2018
112018
Compositional and Contract-based Verification for Autonomous Driving on Road Networks
L Liebenwein, W Schwarting, CI Vasile, J DeCastro, J Alonso-Mora, ...
Robotics Research: The 18th International Symposium ISRR, 2018
72018
Counterexample-guided safety contracts for autonomous driving
J DeCastro*, L Liebenwein*, CI Vasile, R Tedrake, S Karaman, D Rus
International Workshop on the Algorithmic Foundations of Robotics, 2018
52018
Training Support Vector Machines using Coresets
C Baykal, L Liebenwein, W Schwarting
arXiv preprint arXiv:1708.03835, 2017
52017
Machine Learning-based Estimation of Forest Carbon Stocks to increase Transparency of Forest Preservation Efforts
B Lütjens, L Liebenwein, K Kramer
arXiv preprint arXiv:1912.07850, 2019
32019
SiPPing Neural Networks: Sensitivity-informed Provable Pruning of Neural Networks
C Baykal*, L Liebenwein*, I Gilitschenski, D Feldman, D Rus
arXiv preprint arXiv:1910.05422, 2019
32019
SYSTEM AND METHOD OF VALIDATION OF OPERATIONAL REGULATIONS TO AUTONOMOUSLY OPERATE A VEHICLE DURING TRAVEL
J Decastro, L Liebenwein, C Vasile, RL Tedrake, S Karaman, D Rus
US Patent App. 16/539,772, 2020
2020
Deep Latent Competition: Learning to Race Using Visual Control Policies in Latent Space
W Schwarting*, T Seyde*, I Gilitschenski*, L Liebenwein, R Sander, ...
Conference on Robot Learning (CoRL), 2020
2020
Contract-based safety verification for autonomous driving
L Liebenwein
Massachusetts Institute of Technology, 2018
2018
Geometric Streaming Algorithms
P Indyk, L Liebenwein
The system can't perform the operation now. Try again later.
Articles 1–12