Contact us

If you think PyRAT could be part of any kind of scientific collaboration, including research projects, internships, PhDs, post-doctoral positions and dissemination activities, please contact zakaria.chihani(at) or augustin.lemesle(at)

For more projects from our team you can also check our platform CAISAR, CAISAR website or account, regrouping solvers to characterize AI safety and robustness.


  • ReCIPH: Relational Coefficients for Input Partitioning Heuristic. Serge Durand, Augustin Lemesle, Zakaria Chihani, Caterina Urban, François Terrier. 1st Workshop on Formal Verification of Machine Learning (WFVML 2022), Jul 2022, Baltimore, United States. hal-03926281
  • CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle. AISafety, Jul 2022, Vienne, Austria. hal-03687211