Mitsubishi Electric and Inria Commence Joint Technology Development to Ensure AI Trustworthiness Using Formal Methods
Mitsubishi Electric Corporation and Inria announced the launch of the FRAIME project to strengthen AI trustworthiness. The project integrates formal methods with AI technologies to ensure reliable and transparent systems. FRAIME is part of Inria’s DÉFI program, which advances next-generation AI through industry-academia collaboration. The growing use of AI highlights serious reliability challenges. Safety-critical systems […]