activity
20072025
most citedNew Inference Rules for Max-SAT

158 citations · 309 across the 11 of their papers we have counts for

collaborators

12 papers

cs.AI2025

On Trustworthy Rule-Based Models and Explanations

Mohamed Siala, Jordi Planes, Joao Marques-Silva

A task of interest in machine learning (ML) is that of ascribing explanations to the predictions made by ML models. Furthermore, in domains deemed high risk, the rigor of explanati…

cs.LG2024★ 1 cited

Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation

Yacine Izza, Xuanxiang Huang, Antonio Morgado +3

The uses of machine learning (ML) have snowballed in recent years. In many cases, ML models are highly complex, and their operation is beyond the understanding of human decision-ma…

cs.CR2024★ 2 cited

Certified Adversarial Robustness of Machine Learning-based Malware Detectors via (De)Randomized Smoothing

Daniel Gibert, Luca Demetrio, Giulio Zizzo +3

Deep learning-based malware detection systems are vulnerable to adversarial EXEmples - carefully-crafted malicious programs that evade detection with minimal perturbation. As such,…

cs.CR2024★ 11 cited

A Robust Defense against Adversarial Attacks on Deep Learning-based Malware Detectors via (De)Randomized Smoothing

Daniel Gibert, Giulio Zizzo, Quan Le +1

Deep learning-based malware detectors have been shown to be susceptible to adversarial malware examples, i.e. malware examples that have been deliberately manipulated in order to a…

cs.AI2023★ 1 cited

On Logic-Based Explainability with Partially Specified Inputs

Ramón Béjar, António Morgado, Jordi Planes +1

In the practical deployment of machine learning (ML) models, missing data represents a recurring challenge. Missing data is often addressed when training ML models. But missing dat…

cs.CR2023★ 20 cited

Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks

Daniel Gibert, Jordi Planes, Quan Le +1

Malware detectors based on machine learning (ML) have been shown to be susceptible to adversarial malware examples. However, current methods to generate adversarial malware example…