Eddie de Lima Filho | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Mikel Luján
14 publications
Lucas Cordeiro
14 publications
Edoardo Manino
9 publications
Iury Bessa
5 publications
Xidan Song
5 publications
Erickson Alves
4 publications
Luiz Sena
3 publications

research

∙ 11/25/2021

QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking

QNNVerifier is the first open-source tool for verifying implementations ...

0 Xidan Song, et al. ∙

research

∙ 06/10/2021

Verifying Quantized Neural Networks using SMT-Based Model Checking

Artificial Neural Networks (ANNs) are being deployed for an increasing n...

0 Luiz Sena, et al. ∙

Success!

An error occurred