Zaid, F. A.; Neider, D.; Yalçıner, M. VeriFlow: Modeling Distributions for Neural Network Verification. AAAI 2026, 40, 28050-28058.