Picture for Zakaria Chihani

Zakaria Chihani

LSL

On Using Certified Training towards Empirical Robustness

Add code
Oct 02, 2024
Figure 1 for On Using Certified Training towards Empirical Robustness
Figure 2 for On Using Certified Training towards Empirical Robustness
Figure 3 for On Using Certified Training towards Empirical Robustness
Figure 4 for On Using Certified Training towards Empirical Robustness
Viaarxiv icon

CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models

Add code
Sep 25, 2024
Figure 1 for CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models
Figure 2 for CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models
Figure 3 for CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models
Viaarxiv icon

PARTICUL: Part Identification with Confidence measure using Unsupervised Learning

Add code
Jun 27, 2022
Figure 1 for PARTICUL: Part Identification with Confidence measure using Unsupervised Learning
Figure 2 for PARTICUL: Part Identification with Confidence measure using Unsupervised Learning
Figure 3 for PARTICUL: Part Identification with Confidence measure using Unsupervised Learning
Figure 4 for PARTICUL: Part Identification with Confidence measure using Unsupervised Learning
Viaarxiv icon

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness

Add code
Jun 07, 2022
Figure 1 for CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
Figure 2 for CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
Viaarxiv icon

DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification

Add code
May 17, 2021
Figure 1 for DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Figure 2 for DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Figure 3 for DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Figure 4 for DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Viaarxiv icon

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators

Add code
Nov 25, 2019
Figure 1 for CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Figure 2 for CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Figure 3 for CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Figure 4 for CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Viaarxiv icon