enero 1970 > IMDEA : IMDEA

ESP
ENG

Talk by Martin Leucker: Formal Verification of Neural Networks?

January 1, 1970

Machine learning is a popular tool for building state of the art software systems. It is more and more used...

[ Read More ]

Entradas recientes

Additive Manufacturing researchers from across Europe gather at IMDEA Materials for the AM2C3 Summer School
Intersecting Dense Automata: Constructions, Complexity and Certificates
BIOMET4D researcher Ángela Castro defends PHD at the Carlos III University of Madrid
Defensa tesis doctoral: “MOF-based nanocomposites for combined imaging and therapy”
‘Twistronics’: Graphene’s Magic Angle and the Anti-Philosopher’s Stone

Archivos

© 2026 Copyright IMDEA

Comunidad de Madrid
Unión Europea Fondos Estructurales y de Inversión Europeos