Luiz H. Sena

According to our database, Luiz H. Sena authored at least 4 papers between 2019 and 2021.

Collaborative distances:

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

2021

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

Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro

CoRR, 2021

Verifying Quantized Neural Networks using SMT-Based Model Checking.

Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro

CoRR, 2021

2020

Incremental Verification of Fixed-Point Implementations of Neural Networks.

Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro

CoRR, 2020

2019

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.

Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019