APA (7th ed.) Citation

DenBleyker, B., Davis, M., Smith, J., Swaminathan, V., & Zhang, Z. (2026). VeRAPAk: Distributed Counterexample Generation via Iterative Neural Network Verification and Falsification. Zenodo.

Chicago Style (17th ed.) Citation

DenBleyker, Bennett, Mason Davis, Joshua Smith, Viswanathan Swaminathan, and Zhen Zhang. VeRAPAk: Distributed Counterexample Generation via Iterative Neural Network Verification and Falsification. Zenodo, 2026.

MLA (9th ed.) Citation

DenBleyker, Bennett, et al. VeRAPAk: Distributed Counterexample Generation via Iterative Neural Network Verification and Falsification. Zenodo, 2026.