- 🔭 I’m currently working on my Master's dissertation: Formalization of Deep Learning techniques with the Why3 proof platform
- 🌱 I’m currently learning about Neural Networks and the ins and outs of formally verifying them, as it is the focus of my dissertation.
dunnadan Goto Github PK
Name: Márcio Sousa
Type: User
Location: Portugal