activity
20202026
most citedWhite Paper Machine Learning in Certified Systems

18 citations · 18 across the 6 of their papers we have counts for

collaborators

9 papers

cs.LG2026

LiST: Lipschitz Scaling Training for Robust and Calibrated Neural Networks

Arthur Chiron, Franck Mamalet, Thomas Massena +2

While accuracy, robustness, and calibration are all essential for reliable neural networks, they are often studied separately; developing models that satisfy all three simultaneous…

cs.CV2026

LipSSD: Lipschitz-Constrained Single-Shot Detection for Adversarially Robust Object Detection

Vincent Lébé, Yannick Prudent, Corentin Friedrich +3

Object detectors have many applications in safety-critical systems, but they are known to be sensitive to worst-case perturbations such as adversarial attacks, which limits their a…

cs.LG2026

Orthogonium : A Unified, Efficient Library of Orthogonal and 1-Lipschitz Building Blocks

Thibaut Boissin, Franck Mamalet, Valentin Lafargue +1

Orthogonal and 1-Lipschitz neural network layers are essential building blocks in robust deep learning architectures, crucial for certified adversarial robustness, stable generativ…

cs.CV2025

Fast and Flexible Robustness Certificates for Semantic Segmentation

Thomas Massena, Corentin Friedrich, Franck Mamalet +1

Deep Neural Networks are vulnerable to small perturbations that can drastically alter their predictions for perceptually unchanged inputs. The literature on adversarially robust De…

cs.AI2025

Turbo-Muon: Almost-Orthogonal Pre-Conditioning for Fast Muon Updates

Thibaut Boissin, Thomas Massena, Franck Mamalet +1

Orthogonality-based optimizers, such as Muon, have recently shown strong performance across large-scale training and community-driven efficiency challenges. However, these methods…

cs.LG2025

Efficient Robust Conformal Prediction via Lipschitz-Bounded Networks

Thomas Massena, Léo andéol, Thibaut Boissin +4

Conformal Prediction (CP) has proven to be an effective post-hoc method for improving the trustworthiness of neural networks by providing prediction sets with finite-sample guarant…