Picture for Thomas Bertalan

Thomas Bertalan

Certified Invertibility in Neural Networks via Mixed-Integer Programming

Add code
Jan 27, 2023
Viaarxiv icon