Erickson Alves | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Mikel Luján
14 publications
Lucas Cordeiro
14 publications
Edoardo Manino
9 publications
Iury Bessa
5 publications
Xidan Song
5 publications
Luiz Sena
3 publications
Eddie de Lima Filho
2 publications
Eddie Filho
1 publication
Thales Silva
1 publication
Carmina Porto
1 publication
Herbert Rocha
1 publication

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. ∙

research

∙ 02/04/2021

Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction

Computer-based systems have been used to solve several domain problems, ...

0 Thales Silva, et al. ∙

research

∙ 12/21/2020

Incremental Verification of Fixed-Point Implementations of Neural Networks

Implementations of artificial neural networks (ANNs) might lead to failu...

0 Luiz Sena, et al. ∙