Certified Invertibility in Neural Networks via Mixed-Integer Programming.

Tianqi Cui Thomas Bertalan George J. Pappas Manfred Morari Yannis G. Kevrekidis Mahyar Fazlyab Certified Invertibility in Neural Networks via Mixed-Integer Programming. 483-496 2023 L4DC https://proceedings.mlr.press/v211/cui23b.html conf/l4dc/2023 db/conf/l4dc/l4dc2023.html#CuiBPMKF23