The theme of this year's conference was "Artificial Intelligence: a question of trust". Arnault Ioualalen was present as CEO of Numalis and expert in the ISO / IEC JTC1 / SC 42 group. He focused his presentation on the issues and techniques for validating the robustness of neural networks based on formal methods. The validation of robustness is an essential element to standardize in order to increase confidence in the use of AI in the context of systems with high safety requirements.
