Due to a combination of factors, the main one being the huge exile of academics (our main audience) out of X, especially in the field of AI/ML, we no longer feel it is suited for our continued presence.
You can still find us on Mastodon: https://t.co/pgAx5sXDXa
We are proud to announce that our analyzer PyRAT scored second during the Fifth International Verification of Neural Networks Competitions, which was co-hosted with the conference CAV and the symposium SAIV! 🎉
For more info, see: https://t.co/p418YSxkVE
June 19th was the 34th birthday of the abolition of apartheid laws in South Africa. To celebrate this, we released the version 2.0 of CAISAR. You can read more about it here: https://t.co/R3iyykuDXE
The release is available through our public repository, on dockerhub and opam!
Last Friday was the 68th birthday of the Flag of Europe. To celebrate this, we released the version 1.0 of CAISAR.
You can read more about it here: https://t.co/1KTHwRcr9U
The release is available through our public repository, on dockerhub and soon on opam!
Last week we presented CAISAR at the workshop on Safe and Robust Machine Learning.
We want to thank the Lab for AI Verification (https://t.co/g8G3tnBbRr) for having had us, as well as for the very interesting conversations.
#ArtificialIntelligence#AI#MachineLearning#AISafety
We have several Master 2 internship positions, covering a rather broad range of topics.
The offers are available on our website: https://t.co/fUdSuescHA
Feel free to largely disseminate these offers to your colleagues and students, or to contact us if you wish to apply!
How can #FormalMethods help us improve the safety, robustness and trustworthiness of #ArtificialIntelligence and #MachineLearning systems? Our tool, PyRAT, can help on that front. Feel free to check it out here for more information: https://t.co/dALPd6ZIam
🤝👾L’adoption massive de l’intelligence artificielle ? Une question de sûreté et de robustesse. Notre outil PyRAT, basé sur les méthodes formelles, permet de vérifier que le comportement d’une #IA n’est pas modifié par de légères perturbations... Découvrez-le en vidéo ! 👇
The efficiency of Symbolic #AI applied to #softwaresecurity & #safety is undeniable! Our tool COLIBRI got first place in 8 categories of the SMT-COMP! Congratulations to Bruno Marre, the lead developer, as well as all those who helped get COLIBRI to where it is today 💪
Yesterday was the 234th birthday of the Tennis Court Oath. To celebrate this, we released the version 0.2 of CAISAR.
You can read more about it here: https://t.co/PkIS8wmUPR
The release is available through our public repository, on dockerhub and soon on opam!
[#IA] Souveraineté, frugalité et confiance : le collectif #DeepGreen, piloté par le @CEA_Officiel, lance la première plateforme d'IA embarquée française en open source.
🗞 Voir le communiqué de presse https://t.co/Lo4gg0p2jZ
[#ACTU] Programme @ConfianceAI |🧠Peut-on faire confiance aux modèles d'#IA ?
Le @CEA_List propose AIMOS : un outil de test automatisé qui assure la robustesse des systèmes d'IA face à des perturbations et valide leur bon fonctionnement.
@caisar_team
https://t.co/AY0JG1dUT3