pyrat-en

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