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
48 Mesi
Enti finanziatori
Stato
In corso
Categoria
Competitive Foundations /
Hasler Foundation
