Zaid, Faried Abu, Daniel Neider, and Mustafa Yalçıner. 2026. “VeriFlow: Modeling Distributions for Neural Network Verification”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (33):28050-58. https://doi.org/10.1609/aaai.v40i33.40030.