Lobo, João, 		Finger, Marcelo, E 		Preto, Sandro.
" Logical Approximation and Formal Verification of Neural Networks" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (21 julho 2024)