Efficient Certifying Algorithms for Linear Classification. - Vincenzo Bonifaci; Sara Galatro (CIAC (1), 2025)