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