Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. - Luiz H. Sena; Iury Valente de Bessa; Mikhail Y. R. Gadelha; Lucas C. Cordeiro; Edjard Mota (SBESC, 2019)

Incremental Verification of Fixed-Point Implementations of Neural Networks. - Luiz H. Sena; Erickson H. da S. Alves; Iury Bessa; Eddie B. L. Filho; Lucas C. Cordeiro (CoRR, 2020)

Verifying Quantized Neural Networks using SMT-Based Model Checking. - Luiz H. Sena; Xidan Song; Erickson H. da S. Alves; Iury Bessa; Edoardo Manino; Lucas C. Cordeiro (CoRR, 2021)

QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. - Xidan Song; Edoardo Manino; Luiz H. Sena; Erickson H. da S. Alves; Eddie Batista de Lima Filho; Iury Bessa; Mikel Luján; Lucas C. Cordeiro (CoRR, 2021)