8 citations · 12 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LG2024
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★ 1 cited
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…