João Batista Pereira Matos Jr.

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
Counterexample Guided Neural Network Quantization Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (4) (2024)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. NSV/FoMLAS@CAV (2022)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. CoRR (2022)
João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang
Generating Adversarial Inputs Using A Black-box Differential Technique. CoRR (2020)