CEA-List’s Post

View organization page for CEA-List, graphic

10,039 followers

[#SUCCESS] 💡 Success story of CEA's #PyRAT tool in the 5th international neural network verification competition (#VNN-COMP'24)!   The VNN-COMP aims to bring together researchers interested in formal methods and tools providing guarantees about the behaviors of neural networks and systems built from them.   🥈 In this competition sponsored by the CEA-List, the PyRAT tool managed to place 2nd on the podium!   🔎 PyRAT is a formal validation tool for neural networks, i.e. a software that mathematically verifies the correct operation of an artificial intelligence system according to given specifications. This tool guarantees the safety and stability of AI systems so that they perform their functions correctly.   Congratulations to our researchers Augustin Lemesle, Julien Lehmann and Tristan Le Gall for this win!   “This 2nd place confirms our efforts to improve the efficiency of PyRAT to ensure the safety of AI systems” – Augustin Lemesle   Zakaria Chihani CEA | Le Réseau des Carnot | Université Paris-Saclay | Université Grenoble Alpes

  • No alternative text description for this image

To view or add a comment, sign in

Explore topics