João Batista P. Matos Jr. | DeepAI

AI Chat AI Image Generator AI Video Text to Speech

Featured Co-authors

Lucas C. Cordeiro
28 publications
Edoardo Manino
9 publications
Iury Bessa
5 publications
Xidan Song
5 publications

research

∙ 07/09/2022

CEG4N: Counter-Example Guided Neural Network Quantization Refinement

Neural networks are essential components of learning-based software syst...

0 João Batista P. Matos Jr., et al. ∙