Generating Adversarial Inputs Using A Black-box Differential Technique. - João Batista Pereira Matos Jr.; Lucas Carvalho Cordeiro; Marcelo d'Amorim; Xiaowei Huang 001 (CoRR, 2020)

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)

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)