Proving properties of binary classification neural networks via Łukasiewicz logic
Autor principal: | |
---|---|
Formato: | article |
Publicado em: |
2022
|
Assuntos: | |
Texto completo: | https://doi.org/10.1093/jigpal/jzac050 |
País: | Brasil |
Oai: | 003082021 |
Autor principal: | Finger, Marcelo (author) |
---|---|
Formato: | article |
Publicado em: |
2022
|
Assuntos: | |
Texto completo: | https://doi.org/10.1093/jigpal/jzac050 |
País: | Brasil |
Oai: | 003082021 |