pyrat-en

Software development environments • October 20, 2025

Securing AI against adversarial attacks

The PyRAT and PARTICUL tools developed by CEA-List enable detection and protection against adversarial attacks.

Read more
2024 Activity Report • June 27, 2025

PyRAT wins formal verification competition

CEA-List researchers developed PyRAT, a formal verification tool for neural networks, to respond to growing demand for more reliable AI-based systems.

Read more