@misc{indiciae43328f3fac29,
  title = {QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking},
  author = {Xidan Song and Edoardo Manino and Luiz Sena and Erickson Alves and Eddie de Lima Filho and Iury Bessa and Mikel Lujan and Lucas Cordeiro},
  year = {2021},
  url = {https://arxiv.org/abs/2111.13110},
  note = {Source identifier: 2111.13110}
}