Mitsubishi Electric and Inria Commence Joint Technology Development to Ensure AI Trustworthiness Using Formal Methods
Businesswire·2025-09-18 14:00

公司与研究机构合作 - 三菱电机公司与法国国家数字科学与技术研究机构Inria宣布启动一项名为“应用于人工智能方法工程的正式推理”的联合研究项目[1] - 该合作项目旨在实现可信赖的人工智能系统[1] - 此项目将成为Inria大规模产学合作计划“DÉFI”的一部分[1]