Search

Cenk Baykal

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

Published with Wowchemy — the free, open source website builder that empowers creators.