Pinned Loading

1. oval-group/oval-bab oval-group/oval-bab Public

   OVAL framework for BaB-based Neural Network Verification

   Python 18 3

2. yobibyte/unitary-scalarization-dmtl yobibyte/unitary-scalarization-dmtl Public

   In Defense of the Unitary Scalarization for Deep Multi-Task Learning

   Python 22 4

3. expressive-losses expressive-losses Public

   Expressive Losses for Verified Robustness via Convex Combinations

   Python 4 1

4. favex favex Public

   Faster Verified Explanations for Neural Networks

   Python 1

5. feature-distillation-for-certified-training feature-distillation-for-certified-training Public

   Learning Better Certified Models from Empirically-Robust Teachers

   Python