Showing cs.LGShow all
3 papers · 1 filter
cs.LG2025
SMiLE: Provably Enforcing Global Relational Properties in Neural Networks
Matteo Francobaldi, Michele Lombardi, Andrea Lodi
Artificial Intelligence systems are increasingly deployed in settings where ensuring robustness, fairness, or domain-specific properties is essential for regulation compliance and…
cs.LG2025
Scalable First-order Method for Certifying Optimal k-Sparse GLMs
Jiachang Liu, Soroosh Shafiee, Andrea Lodi
This paper investigates the problem of certifying optimality for sparse generalized linear models (GLMs), where sparsity is enforced through an cardinality constraint. Whi…
cs.LG2024
One-for-many Counterfactual Explanations by Column Generation
Andrea Lodi, Jasone Ramírez-Ayerbe
In this paper, we consider the problem of generating a set of counterfactual explanations for a group of instances, with the one-for-many allocation rule, where one explanation is…