Lobo, João, Marcelo Finger, and Sandro Preto.
" Logical Approximation and Formal Verification of Neural Networks." <em>Anais do V Workshop Brasileiro de Lógica,
Brasília/DF, 2024</em>. SBC, 2024,  
pp.1-8.