Cui, Tianqi

1 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