Logical approximation and formal verification of neural networks (2024)
Fonte: Anais. Nome do evento: Workshop Brasileiro de Lógica - WBL. Unidade: IME
Assuntos: 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: 23 ago. 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 ago. 23 ] 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 ago. 23 ] Available from: https://doi.org/10.5753/wbl.2024.2347