Reluplex: An efficient SMT solver for verifying deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer Computer Aided Verification: 29th International Conference, CAV 2017 ¡K, 2017 | 2114 | 2017 |

The marabou framework for verification and analysis of deep neural networks G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ... Computer Aided Verification: 31st International Conference, CAV 2019, New ¡K, 2019 | 572 | 2019 |

Towards proving the adversarial robustness of deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer arXiv preprint arXiv:1709.02802, 2017 | 142 | 2017 |

An abstraction-based framework for neural network verification YY Elboher, J Gottschlich, G Katz Computer Aided Verification: 32nd International Conference, CAV 2020, Los ¡K, 2020 | 133 | 2020 |

Deepsafe: A data-driven approach for assessing robustness of neural networks D Gopinath, G Katz, CS Păsăreanu, C Barrett Automated Technology for Verification and Analysis: 16th International ¡K, 2018 | 121 | 2018 |

Provably minimally-distorted adversarial examples N Carlini, G Katz, C Barrett, DL Dill arXiv preprint arXiv:1709.10207, 2017 | 113 | 2017 |

SMTCoq: A plug-in for integrating SMT solvers into Coq B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett Computer Aided Verification: 29th International Conference, CAV 2017 ¡K, 2017 | 109 | 2017 |

Ground-Truth Adversarial Examples N Carlini, G Katz, C Barrett, DL Dill arXiv preprint arXiv:1709.10207v1, 2017 | 89 | 2017 |

Deepsafe: A data-driven approach for checking adversarial robustness in neural networks D Gopinath, G Katz, CS Pasareanu, C Barrett arXiv preprint arXiv:1710.00486, 2017 | 86 | 2017 |

Verifying deep-RL-driven systems Y Kazak, C Barrett, G Katz, M Schapira Proceedings of the 2019 workshop on network meets AI & ML, 83-89, 2019 | 75 | 2019 |

Minimal Modifications of Deep Neural Networks using Verification. B Goldberger, G Katz, Y Adi, J Keshet LPAR 2020, 23rd, 2020 | 70 | 2020 |

An SMT-based approach for verifying binarized neural networks G Amir, H Wu, C Barrett, G Katz Tools and Algorithms for the Construction and Analysis of Systems: 27th ¡K, 2021 | 58 | 2021 |

Parallelization techniques for verifying neural networks H Wu, A Ozdemir, A Zeljic, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ... # PLACEHOLDER_PARENT_METADATA_VALUE# 1, 128-137, 2020 | 57 | 2020 |

Verifying recurrent neural networks using invariant inference Y Jacoby, C Barrett, G Katz Automated Technology for Verification and Analysis: 18th International ¡K, 2020 | 52 | 2020 |

Verifying learning-augmented systems T Eliyahu, Y Kazak, G Katz, M Schapira Proceedings of the 2021 ACM SIGCOMM 2021 Conference, 305-318, 2021 | 49 | 2021 |

Reluplex: a calculus for reasoning about deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer Formal Methods in System Design 60 (1), 87-116, 2022 | 44 | 2022 |

ScenarioTools¡VA tool suite for the scenario-based modeling and analysis of reactive systems J Greenyer, D Gritzner, T Gutjahr, F König, N Glade, A Marron, G Katz Science of Computer Programming 149, 15-27, 2017 | 43 | 2017 |

Toward scalable verification for safety-critical deep networks L Kuper, G Katz, J Gottschlich, K Julian, C Barrett, M Kochenderfer arXiv preprint arXiv:1801.05950, 2018 | 42 | 2018 |

Simplifying neural networks using formal verification S Gokulanathan, A Feldsher, A Malca, C Barrett, G Katz NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field ¡K, 2020 | 41 | 2020 |

Towards scalable verification of deep reinforcement learning G Amir, M Schapira, G Katz 2021 formal methods in computer aided design (FMCAD), 193-203, 2021 | 39 | 2021 |