Attending the Integrated Formal Methods Conference
The CAISAR team presented their paper at the Integrated Formal Methods Conference in Paris. They presented the latest advances in CAISAR, which will be integrated in the future 5.0 release.
The paper, The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification, was awarded the Reusable badge.
