Picture for Aymeric Varasse

Aymeric Varasse

LSL

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

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