46 citations · 82 across the 4 of their papers we have counts for
4 papers
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
Claudio Ferrari, Mark Niklas Muller, Nikola Jovanovic +1
State-of-the-art neural network verifiers are fundamentally based on one of two paradigms: either encoding the whole verification problem via tight multi-neuron convex relaxations…
Instance-wise algorithm configuration with graph neural networks
Romeo Valentin, Claudio Ferrari, Jérémy Scheurer +3
We present our submission for the configuration task of the Machine Learning for Combinatorial Optimization (ML4CO) NeurIPS 2021 competition. The configuration task is to predict a…
Semantic Segmentation of Histopathological Slides for the Classification of Cutaneous Lymphoma and Eczema
Jérémy Scheurer, Claudio Ferrari, Luis Berenguer Todo Bom +3
Mycosis fungoides (MF) is a rare, potentially life threatening skin disease, which in early stages clinically and histologically strongly resembles Eczema, a very common and benign…
Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making
Hoda Heidari, Claudio Ferrari, Krishna P. Gummadi +1
We draw attention to an important, yet largely overlooked aspect of evaluating fairness for automated decision making systems---namely risk and welfare considerations. Our proposed…