Lucas Liebenwein

Latest Publications

• Sensitivity-Informed Provable Pruning of Neural Networks
• Deep Latent Competition: Learning to Race Using Visual Control Policies in Latent Space
• Data-Dependent Coresets for Compressing Neural Networks with Applications to Generalization Bounds
• Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees