What’s new in CAISAR?

Here are the latest news on CAISAR:

2024-01-24: PyRAT ranked third place at VNN-Comp

For its first participation, during the Fourth International Verification of Neural Networks Competition (VNN-COMP 2023), the abstract analyzer PyRAT finished at the third place by verifying more than 400 properties on 8 different benchmarks. Congratulations to all competitors! For more details, you may consult the full report of the competition.

2023-12-08: CAISAR 1.0 released

On the occasion of the 68th birthday of the Flag of Europe, we are delighted to release the version 1.0 of CAISAR. The release source is available under our gitlab. It will soon be available on opam and on Dockerhub.

Extensions of specification language and interpretation capabilities We extended the WhyML specification language to take into account common machine learning constructs. It is now possible to model machine learning computations using vectors and datasets. Parts of this specific…

2023-10-30: CAISAR demo at the Lab for AI Verification (LAIV) at Edinburgh

Last week, we presented CAISAR at the workshop on Safe and Robust Machine Learning.

Among the workshop organizers were member of the Lab for AI Verification. The LAIV and CAISAR teams have close research interests, and it was a pleasure to discuss with the diverse panel of participants on the topic of verification of machine learning.

The discussions provided enlightening insights on the needs in both the industry and research.

2023-06-20: CAISAR 0.2 released

We are happy to announce the release of CAISAR 0.2, to celebrate the 234th birthday of the Serment du jeu de Paume. On this day, courageous people took a vow to abolish autocracy and fight for their rights. This release is the result of more than one year of work. Here are some of the most prominent changes that we are happy to share. The release is available under our gitlab, on opam and on Dockerhub.

New prover support We added the support of several provers:

the alpha-beta-CROWN prove…

2023-02-03: Presentation at JFLA

The JFLA (French for Journées Francophones des Langages Applicatifs) is a yearly meeting of both academics and industrials that share a common interest on functional programming - and incidently, software verification.

Industry side, companies OCamlpro, Mitshubishi Electric, TrustInSoft were present. From the academia, people from Formal Methods Laboratory, ENSIIE and INRIA were attending.

We gave a 15-minute presentation of CAISAR, available here (in French). The relevant publication is av…

2022-06-02: Release of the technical paper

We are delighted to release CAISAR’s technical report, available on HAL.