Technical articles · Date not stated
Requirement encoding, testing and formal verification of ML models
2.3.3 Verification of the learned model
Overview
Describes how to produce auditable evidence that a learned model meets requirements on inputs beyond its training data. It connects requirement encoding with testing and formal verification, emphasising comprehensive, contextually relevant and comprehensible verification results.