Picture for Anahita Baninajjar

Anahita Baninajjar

Verified Relative Safety Margins for Neural Network Twins

Add code
Sep 25, 2024
Viaarxiv icon

Verification-Friendly Deep Neural Networks

Add code
Dec 15, 2023
Viaarxiv icon