Relational Verification Leaps Forward with RABBit Gagandeep Singh

Mar-27-2025, 11:53:36 GMT–Neural Information Processing Systems

We propose RABBit, a Branch-and-Bound-based verifier for verifying relational properties defined over Deep Neural Networks, such as robustness against universal adversarial perturbations (UAP).

artificial intelligence, execution, machine learning, (17 more...)

Neural Information Processing Systems

Mar-27-2025, 11:53:36 GMT

Conferences PDF

Add feedback

Country:
- North America > United States > Illinois (0.14)

Genre:
- Research Report > Experimental Study (1.00)

Industry:
- Information Technology > Security & Privacy (0.67)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks
    - Deep Learning (0.88)
  - Representation & Reasoning (1.00)