pyrat

Environnements de développement logiciel • mai 22, 2025

Pyrat & PARTICUL

PyRAT et PARTICUL, les outils développés par le CEA-List pour faire face aux menaces qui ciblent les systèmes d’intelligence artificielle

Lire la suite
Rapport activité 2024 • mai 21, 2025

Succès de PyRAT dans une compétition de vérification formelle

Dans un contexte où fiabiliser les systèmes contenant des intelligences artificielles est devenu un enjeu majeur de sécurité, nos équipes ont conçu PyRAT, un outil de vérification formelle de réseaux de neurones.

Lire la suite