Project
Form verification technology for risk analysis of machine learning systems
Formal verification methods have been studied as a method to mathematically verify whether the system works as expected, and have been used to verify various systems. This study aims to establish a formal verification method to mathematically and strictly verify whether the risk response of the machine learning utilization system can be implemented.
News
Tags :
All
There is no notice at the moment
Project outline
| PI | KAWAMOTO, Yusuke |
|---|---|
| Period | 2025-2028 |
| Outline | Formal verification methods have been studied as a method to mathematically verify whether the system works as expected, and have been used to verify various systems. This study aims to establish a formal verification method to mathematically and strictly verify whether the risk response of the machine learning utilization system can be implemented. In particular, we will build a technology that automatically verifies the inadequacy of the risk response of the machine learning use system, and aim to improve the quality of products and services based on machine learning. |
| Related research groups | Continuum Computing Trustworthiness Research Group |
| External cooperation | (Scheduled to be published at a later date) |
| External WEB site | https://www.jst.go.jp/souhatsu/research/panel_goto.html |
