Probabilistic ML Verification via Weighted Model Integration

Paolo Morettin, Andrea Passerini, Roberto Sebastiani

In machine learning (ML) verification, the majority of procedures are non-quantitative and therefore cannot be used for verifying probabilistic models, or be applied in domains whe…