@inproceedings{inproceedings83c80b61,
title   = {Logical approximation and formal verification of neural networks},
author = {Pevidor, João Felipe Lobo and Preto, Sandro and Finger, Marcelo},
year = {2024},
doi = {10.5753/wbl.2024.2347},
publisher = {SBC},
booktitle   = {Workshop Brasileiro de Lógica - WBL}
}