Proving properties of binary classification neural networks via Łukasiewicz logic
| Main Author: | |
|---|---|
| Format: | article |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://doi.org/10.1093/jigpal/jzac050 |
| Country: | Brazil |
| Oai: | 003082021 |
| Main Author: | Finger, Marcelo (author) |
|---|---|
| Format: | article |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://doi.org/10.1093/jigpal/jzac050 |
| Country: | Brazil |
| Oai: | 003082021 |