18 citations · 32 across the 18 of their papers we have counts for
4 papers · 1 filter
Formal Reasoning About Confidence and Automated Verification of Neural Networks
Mohammad Afzal, S. Akshay, Blaise Genest +1
In the last decade, a large body of work has emerged on robustness of neural networks, i.e., checking if the decision remains unchanged when the input is slightly perturbed. Howeve…
DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins
Eduardo de Conto, Blaise Genest, Arvind Easwaran +2
Digital twins (DTs) are increasingly utilized to monitor, manage, and optimize complex systems across various domains, including civil engineering. A core requirement for an effect…
Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification
Yuke Liao, Blaise Genest, Kuldeep Meel +1
To handle complex instances, we revisit a divide-and-conquer approach to break down the complexity: instead of few complex BaB calls, we rely on many small {\em partial} MILP calls…
Adaptive Multi-prompt Contrastive Network for Few-shot Out-of-distribution Detection
Xiang Fang, Arvind Easwaran, Blaise Genest
Out-of-distribution (OOD) detection attempts to distinguish outlier samples to prevent models trained on the in-distribution (ID) dataset from producing unavailable outputs. Most O…