Learning Prescriptive ReLU Networks

1 June 2023

Papers citing "Learning Prescriptive ReLU Networks"

2 / 2 papers shown

Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 253 1,845 0 03 Feb 2017
Densely Connected Convolutional Networks Gao Huang Zhuang Liu Laurens van der Maaten Kilian Q. Weinberger PINN 3DV 368 36,493 0 25 Aug 2016