A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration.

Paolo Morettin Andrea Passerini Roberto Sebastiani

Published in: CoRR (2024)

Keyphrases

probabilistic model
computational model
ai systems
high level
neural network
e learning
metadata
bayesian networks
mobile devices
user behavior