15 citations · 28 across the 11 of their papers we have counts for
3 papers · 1 filter
INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search
Animesh Basak Chowdhury, Marco Romanelli, Benjamin Tan +2
Logic synthesis is the first and most vital step in chip design. This steps converts a chip specification written in a hardware description language (such as Verilog) into an optim…
A Data-Driven Measure of Relative Uncertainty for Misclassification Detection
Eduardo Dadalto, Marco Romanelli, Georg Pichler +1
Misclassification detection is an important problem in machine learning, as it allows for the identification of instances where the model's predictions are unreliable. However, con…
A Minimax Approach Against Multi-Armed Adversarial Attacks Detection
Federica Granese, Marco Romanelli, Siddharth Garg +1
Multi-armed adversarial attacks, in which multiple algorithms and objective loss functions are simultaneously used at evaluation time, have been shown to be highly successful in fo…