Zaid, F. A., Neider, D. and Yalçıner, M. (2026) “VeriFlow: Modeling Distributions for Neural Network Verification”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(33), pp. 28050–28058. doi: 10.1609/aaai.v40i33.40030.