Probabilistic Verification of Neural Networks using Branch and Bound

27 May 2024

Papers citing "Probabilistic Verification of Neural Networks using Branch and Bound"

2 / 2 papers shown

Title
A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration Paolo Morettin Andrea Passerini Roberto Sebastiani 20 1 0 07 Feb 2024
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017