Mitsubishi Electric and Inria Commence Joint Technology Development to Ensure AI Trustworthiness Using Formal Methods
Businesswire·2025-09-18 06:00
Group 1 - Mitsubishi Electric Corporation and Inria have launched a joint research project titled "Formal Reasoning applied to AI for Methodological Engineering" (FRAIME) [1] - The aim of the FRAIME project is to realize trustworthy AI systems [1] - This project is part of Inria's DÉFI, which is a large-scale industry-academia collaboration [1]