Zaid, Faried Abu, et al. “VeriFlow: Modeling Distributions for Neural Network Verification”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 33, Mar. 2026, pp. 28050-8, doi:10.1609/aaai.v40i33.40030.