@misc{indiciaeefd9ff2ac2f7,
  title = {Probabilistic ML Verification via Weighted Model Integration},
  author = {Paolo Morettin and Andrea Passerini and Roberto Sebastiani},
  year = {2024},
  url = {https://arxiv.org/abs/2402.04892},
  note = {Source identifier: 2402.04892}
}