When an AI algorithm is deployed in the field and gives an unexpected result, it's often not clear whether that result is correct.
So what happened? Was it wrong? And if so, what caused the error? These are often not simple questions to answer. Moreover, as with all verification problems, the only way to get to the root cause is to break the problem down into manageable pieces.
The semico...
» read more
