Formal Reasoning on Neural Networks
Persone
(Responsabile)
Hyvärinen A.
(Co-responsabile)
Informazioni aggiuntive
Data d'inizio
01.01.2023
Data di fine
31.12.2026
Durata
49 Mesi
Enti finanziatori
Stato
In corso
Categoria
Foundations /
Competitive Foundations /
Hasler Foundation
