João Batista Pereira Matos Jr.

According to our database, João Batista Pereira Matos Jr. authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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., April, 2024

2022

CEG4N: Counter-Example Guided Neural Network Quantization Refinement.

João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2020

Generating Adversarial Inputs Using A Black-box Differential Technique.

João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang

CoRR, 2020