Jérôme Bolte, Ryan Boustany, Edouard Pauwels, Béatrice Pesquet-Popescu. On the complexity of nonsmooth automatic differentiation. International Conference on Learning Representations (ICLR 2023), International Conference on Learning Representations, May 2023, Kigali, Rwanda. ⟨hal-03683640v3⟩

Aurélie Hurault, Joao Marques-Silva. Certified Logic-Based Explainable AI: The Case of Monotonic Classifiers. 2023. ⟨hal-04031193⟩

Jérôme Bolte, Tam Le, Edouard Pauwels. Subgradient sampling for nonsmooth nonconvex minimization. 2023. ⟨hal-03579383v5⟩

Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel. Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant. 2023. ⟨hal-03782650v2⟩

Léo Saulières, Martin C Cooper, Florence Dupin de Saint Cyr. Reinforcement Learning Explained via Reinforcement Learning: Towards Explainable Policies through Predictive Explanation. 15th International Conference on Agents and Artificial Intelligence (ICAART 2023), Feb 2023, Lisbon, Portugal. à paraître. ⟨hal-04011857⟩

Edouard Pauwels. On the nature of Bregman functions. 2023. ⟨hal-03974132⟩

Louis Béthune, Paul Novello, Thibaut Boissin, Guillaume Coiffier, Mathieu Serrurier, et al.. Robust One-Class Classification with Signed Distance Function using 1-Lipschitz Neural Networks. 2023. ⟨hal-03977272⟩

Edouard Pauwels. Conservative parametric optimality and the ridge method for tame min-max problems. 2022. ⟨hal-03186676v3⟩

Jérôme Bolte, Edouard Pauwels, Rodolfo Ríos-Zertuche. Long term dynamics of the subgradient method for Lipschitz path differentiable functions. Journal of the European Mathematical Society, 2022, pp.1-28. ⟨10.4171/JEMS/1285⟩. ⟨hal-03614899⟩

Jérôme Bolte, Edouard Pauwels, Antonio José Silveti-Falls. Differentiating Nonsmooth Solutions to Parametric Monotone Inclusion Problems. 2022. ⟨hal-03900339⟩