Formal Reasoning on Neural Networks
People
(Responsible)
Hyvärinen A.
(Co-responsible)
Additional information
Start date
01.01.2023
End date
31.12.2026
Duration
48 Months
Funding sources
Status
Active
Category
Competitive Foundations /
Hasler Foundation
