Popular repositories Loading

1. jacobinet jacobinet Public

   JacobiNet is a Python library built on Keras that constructs the backward pass as a Keras model using the chain rule to compute Jacobians. It provides a clear, modular framework for understanding a…

   Python 3 1

2. FAME FAME Public

   Formal Abstract Minimal Explanation for Neural Networks

   Jupyter Notebook 2 2

3. onnx2keras3 onnx2keras3 Public

   Python 1

4. Verification4ObjectDetectionDemo Verification4ObjectDetectionDemo Public

   Streamlit demo for verification for object detection

   Python 1

5. formal_xai_bounds formal_xai_bounds Public

   Measuring $XAI$ decision boundary fragility and abductive explanation size using $\epsilon_{\min}$ and $k$-sparse $\epsilon_{\max}$ dichotomy bounds.

   Python 1 1

6. safety_braking_distance_estimation safety_braking_distance_estimation Public

   Python