João Lobo, Marcelo Finger, and Sandro Preto. 2024.
 Logical Approximation and Formal Verification of Neural Networks. In <em>Anais do V Workshop Brasileiro de Lógica</em>, julho 21, 2024, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 1-8. DOI: <a href="https://doi.org/10.5753/wbl.2024.2347">https://doi.org/10.5753/wbl.2024.2347</a>.