Published June 9, 2026
Library
incubated
Pyrat
Maintainer:CEA
Description
PyRAT is a formal verification tool that provides strong mathematical guarantees on the robustness and safety of an AI model.
Owner:CEA
Keywords:Formal verification
CONTEXT
PyRAT is a formal verification tool that provides strong mathematical guarantees on the robustness and safety of an AI model.
VALUE PROPOSITION
Based on classical formal methods, PyRAT leverages tensor and matricial operations to bring them up to scale on AI models up to tens of millions of parameters. This allows PyRAT to provide fast and strong guarantees on AI used in critical systems.
WHEN TO USE IT
PyRAT can be used during AI development to assess the robustness of AI or during the component validation.
RESOURCES