公开(公告)号：US11790239B2

公开(公告)日：2023-10-17

申请号：US16236428

申请日：2018-12-29

申请人： International Business Machines Corporation

发明人： George Kour ,  Guy Hadash ,  Yftah Ziser ,  Ofer Lavi ,  Guy Lev

IPC分类号： G06N3/08 ,  G06N3/088 ,  G05D1/10 ,  G05D1/02 ,  G05D1/00 ,  G06F18/21

CPC分类号： G06N3/088 ,  G05D1/0088 ,  G05D1/021 ,  G05D1/101 ,  G06F18/217

摘要： A specification of a property required to be upheld by a computerized machine learning system is obtained. A training data set corresponding to the property and inputs and outputs of the system is built. The system is trained on the training data set. Activity of the system is monitored before, during, and after the training. Based on the monitoring, performance of the system is evaluated to determine whether the system, once trained on the training data set, upholds the property.