TY  - RPRT
TI  - BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks
AU  - Fangji Wang
AU  - Panagiotis Tsiotras
PY  - 2025
UR  - https://arxiv.org/abs/2509.25647
ID  - 2509.25647
ER  -