Lobo, J., 		Finger, M., & 		Preto, S.
2024 jul 21.  Logical Approximation and Formal Verification of Neural Networks. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :