Outros Autores: “...http://lattes.cnpq.br/1493664223350422...”

Automated verification and refutation of quantized neural networks