F. A. Zaid, D. Neider, and M. Yalçıner, “VeriFlow: Modeling Distributions for Neural Network Verification”, AAAI, vol. 40, no. 33, pp. 28050–28058, Mar. 2026.