Verification of Neural Networks (Lecture Notes)
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911629013155840 |
|---|---|
| author | Bollig, Benedikt |
| author_facet | Bollig, Benedikt |
| contents | These lecture notes provide an introduction to the verification of neural networks from a theoretical perspective. We discuss feed-forward neural networks, recurrent neural networks, attention mechanisms, and transformers, together with specification languages and algorithmic verification techniques. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_25733 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Verification of Neural Networks (Lecture Notes) Bollig, Benedikt Logic in Computer Science Artificial Intelligence Formal Languages and Automata Theory These lecture notes provide an introduction to the verification of neural networks from a theoretical perspective. We discuss feed-forward neural networks, recurrent neural networks, attention mechanisms, and transformers, together with specification languages and algorithmic verification techniques. |
| title | Verification of Neural Networks (Lecture Notes) |
| topic | Logic in Computer Science Artificial Intelligence Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2604.25733 |