Slides

All slides

• Verification of Neural Networks

  Pubblicato:5 lug 2024

  Formal verification of Neural Networks using dlinear

• EICSymAware scaffolding

  Pubblicato:11 apr 2023

  Scaffolding proposal for the EICSymAware project

• Dokku

  Pubblicato:4 ott 2022

  Using Dokku in CI/CD pipelines