Kevrekidis, Yannis

2 publications

L4DC 2023 Certified Invertibility in Neural Networks via Mixed-Integer Programming Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis Kevrekidis, Mahyar Fazlyab

ICLR 2022 An Operator Theoretic View on Pruning Deep Neural Networks William T Redman, Maria Fonoberova, Ryan Mohr, Yannis Kevrekidis, Igor Mezic