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)

EnnCore: End-to-End Conceptual Guarding of Neural Architectures. - Edoardo Manino; Danilo S. Carvalho; Yi Dong 002; Julia Rozanova; Xidan Song; Mustafa A. Mustafa; André Freitas; Gavin Brown 001; Mikel Luján; Xiaowei Huang 001; Lucas C. Cordeiro (SafeAI@AAAI, 2022)

CEG4N: Counter-Example Guided Neural Network Quantization Refinement. - João Batista Pereira Matos Jr.; Iury Bessa; Edoardo Manino; Xidan Song; Lucas C. Cordeiro (NSV/FoMLAS@CAV, 2022)

AIREPAIR: A Repair Platform for Neural Networks. - Xidan Song; Youcheng Sun; Mustafa A. Mustafa; Lucas C. Cordeiro (ICSE Companion, 2023)

QNNRepair: Quantized Neural Network Repair. - Xidan Song; Youcheng Sun; Mustafa A. Mustafa; Lucas C. Cordeiro (SEFM, 2023)

Counterexample Guided Neural Network Quantization Refinement. - João Batista Pereira Matos Jr.; Eddie B. de Lima Filho; Iury Bessa; Edoardo Manino; Xidan Song; Lucas C. Cordeiro (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)