Lobo, João, 		Finger, Marcelo, AND 		Preto, Sandro.
" Logical Approximation and Formal Verification of Neural Networks" <em>Proceedings of the Brazilian Workshop of Logic (WBL)</em> [Online], (21 July 2024)