Reluplex: a calculus for reasoning about deep neural networks

Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer. Reluplex: a calculus for reasoning about deep neural networks. Formal Methods in System Design, 60(1):87-116, February 2022. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: