J. Lobo, M. Finger, and S. Preto.
" Logical Approximation and Formal Verification of Neural Networks", in <em>Anais do V Workshop Brasileiro de Lógica</em>, Brasília/DF, 2024, pp. 1-8, doi: <a href="https://doi.org/10.5753/wbl.2024.2347">https://doi.org/10.5753/wbl.2024.2347</a>.