Explore projects

Continuation of Caroline Pinte's work on the project, with some adjustments (nnU-Net v2, validation on T1 images..)

Workspace dedicated to the test of the deformation of haptic guide

Deploy a jupyter notebook ready to follow the Fidle online training on Deep Learning.

Record messages and transactions exchanged.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.