3 papers
cs.LG2025
Formal Local Implication Between Two Neural Networks
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
Given two neural network classifiers with the same input and output domains, our goal is to compare the two networks in relation to each other over an entire input region (e.g., wi…
cs.LG2024
MetaWearS: A Shortcut in Wearable Systems Lifecycle with Only a Few Shots
Alireza Amirshahi, Maedeh H. Toosi, Siamak Mohammadi +5
Wearable systems provide continuous health monitoring and can lead to early detection of potential health issues. However, the lifecycle of wearable systems faces several challenge…
cs.LG2024
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
Machine learning techniques often lack formal correctness guarantees, evidenced by the widespread adversarial examples that plague most deep-learning applications. This lack of for…