Academy of Finland
Funding decision
Applicant / Contact person Järvisalo, Matti J
Organisation University of Helsinki
Project title Symbolic Reasoning for Formally Verified and Explainable AI
Decision No. 328718
Decision date 04.09.2019
Funding period 01.01.2020 - 31.12.2022
Funding 361 703
WebFOCUS Report
Project description
Addressing widely acknowledged central challenges in ensuring the trustworthiness of modern AI methods, the project develops and lifts the scalability of symbolic reasoning techniques for formally verifying and explaining the behavior of neural networks and other central AI formalisms.