How to Cite

If you use NNV in your research, please cite the appropriate version.

---

NNV3

Paper in preparation.

NNV 2.0 (CAV 2023)

@inproceedings{nnv2_cav2023,
  author = {Lopez, Diego Manzanas and Choi, Sung Woo and Tran, Hoang-Dung and Johnson, Taylor T.},
  title = {NNV 2.0: The Neural Network Verification Tool},
  year = {2023},
  isbn = {978-3-031-37702-0},
  publisher = {Springer-Verlag},
  url = {https://doi.org/10.1007/978-3-031-37703-7_19},
  doi = {10.1007/978-3-031-37703-7_19},
  booktitle = {Computer Aided Verification: 35th International Conference, CAV 2023},
  pages = {397--412},
  location = {Paris, France}
}

NNV 1.0 (CAV 2020)

@inproceedings{nnv_cav2020,
  author = {Tran, Hoang-Dung and Yang, Xiaodong and Manzanas Lopez, Diego and
            Musau, Patrick and Nguyen, Luan Viet and Xiang, Weiming and
            Bak, Stanley and Johnson, Taylor T.},
  title = {NNV: The Neural Network Verification Tool for Deep Neural Networks
           and Learning-Enabled Cyber-Physical Systems},
  year = {2020},
  publisher = {Springer-Verlag},
  url = {https://doi.org/10.1007/978-3-030-53288-8_1},
  doi = {10.1007/978-3-030-53288-8_1},
  booktitle = {Computer Aided Verification: 32nd International Conference, CAV 2020},
  pages = {3--17},
  location = {Los Angeles, CA, USA}
}

Feature-Specific Citations

If you use a specific NNV feature, please additionally cite:

FairNNV (Fairness Verification):

@inproceedings{fairnnv_icaif2024,
  author = {Tumlin, Anne M and Manzanas Lopez, Diego and Robinette, Preston
            and Zhao, Yuying and Derr, Tyler and Johnson, Taylor T},
  title = {FairNNV: The Neural Network Verification Tool For Certifying Fairness},
  year = {2024},
  doi = {10.1145/3677052.3698677},
  booktitle = {Proceedings of the 5th ACM International Conference on AI in Finance (ICAIF '24)},
  pages = {36--44}
}

VolumeStar (Video/3D Verification):

@inproceedings{volumestar_formalise2025,
  author = {Sasaki, Samuel and Manzanas Lopez, Diego and Robinette, Preston K.
            and Johnson, Taylor T.},
  title = {Robustness Verification of Video Classification Neural Networks},
  year = {2025},
  doi = {10.1109/FormaliSE66629.2025.00009},
  booktitle = {IEEE/ACM 13th International Conference on Formal Methods
               in Software Engineering (FormaliSE)}
}

Probabilistic Verification (Conformal Prediction):

@inproceedings{cp_neurips2025,
  author = {Hashemi, Navid and Sasaki, Samuel and Oguz, Ipek and Ma, Meiyi
            and Johnson, Taylor T.},
  title = {Scaling Data-Driven Probabilistic Robustness Analysis for
           Semantic Segmentation Neural Networks},
  year = {2025},
  booktitle = {38th Conference on Neural Information Processing Systems (NeurIPS)}
}