Cenk Baykal

Latest Publications

• Sensitivity-Informed Provable Pruning of Neural Networks
• Data-Dependent Coresets for Compressing Neural Networks with Applications to Generalization Bounds
• Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees