TY  - RPRT
TI  - Certified Invertibility in Neural Networks via Mixed-Integer Programming
AU  - Tianqi Cui
AU  - Thomas Bertalan
AU  - George J. Pappas
AU  - Manfred Morari
AU  - Ioannis G. Kevrekidis
AU  - Mahyar Fazlyab
PY  - 2023
UR  - https://arxiv.org/abs/2301.11783
ID  - 2301.11783
ER  -