Logical approximation and formal verification of neural networks (2024)
Source: Anais. Conference titles: Workshop Brasileiro de Lógica - WBL. Unidade: IME
Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA
ABNT
PEVIDOR, João Felipe Lobo e PRETO, Sandro e FINGER, Marcelo. Logical approximation and formal verification of neural networks. 2024, Anais.. Porto Alegre: SBC, 2024. Disponível em: https://doi.org/10.5753/wbl.2024.2347. Acesso em: 15 nov. 2024.APA
Pevidor, J. F. L., Preto, S., & Finger, M. (2024). Logical approximation and formal verification of neural networks. In Anais. Porto Alegre: SBC. doi:10.5753/wbl.2024.2347NLM
Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.5753/wbl.2024.2347Vancouver
Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.5753/wbl.2024.2347