A Generic Framework for Verifying Machine Learning Algorithms

该项目旨在发现新的方法来验证人工智能和机器学习算法所做的决定是否符合其设计者和/或监管机构设定的规范。该项目还提供了新的方法来对齐算法决策，当它们被发现是不遵守的。结果将包括新的机器学习理论和算法保证框架。该项目的意义在于，它将提供一个关键的算法认证平台，从而使社会和企业在决定正确的人工智能算法方面受益。

This project aims to discover new ways to verify whether decisions made by Artificial Intelligence and Machine Learning algorithms are as per the specifications set by their designers and/or regulatory bodies. The project also provides new methods to align algorithm decisions when they are found to be non-abiding. The outcomes will include new machine learning theories and frameworks for algorithmic assurance. The significance of the project is that it will offer a crucial platform for certifying algorithms and thus benefit society and businesses in deciding the right Artificial Intelligence algorithms.