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)cea.fr or augustin.lemesle(at)cea.fr.


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.


Publications

  • Neural Network Verification with PyRAT. Augustin Lemesle, Julien Lehmann, Tristan Le Gall. arxiv
  • A study of an ACAS-Xu exact implementation using ED-324/ARP6983. Christophe Gabreau, Marie-Charlotte Teulières, Eric Jenn, Augustin Lemesle, Dumitru Potop-Butucaru, et al.. 12th European Congress Embedded Real Time Systems - ERTS 2024, Jun 2024, Toulouse (31000), France. hal-04584782
  • 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

Cite us

@misc{lemesle2024pyrat,
title={Neural Network Verification with PyRAT}, 
author={Augustin Lemesle and Julien Lehmann and Tristan Le Gall},
year={2024},
eprint={2410.23903},
archivePrefix={arXiv},
primaryClass={cs.AI},
url={https://arxiv.org/abs/2410.23903}, 
}