New project grant awarded by Academy of Finland

The Constraint Reasoning and Optimization group is awarded a new project grant for developing symbolic methods towards more trustworthy AI by Academy of Finland

The Constraint Reasoning and Optimization group, with Matti J√§rvisalo as the project PI, has been awarded a new 360kEUR project grant by the Academy of Finland for a four-year period during 2019-2023 under the ICT 2023 funding instrument. The project develops new fundamental insights into and practical systems implementing scalable symbolic reasoning techniques for formally verifying and explaining AI models.