Szász, Attila (2022) ReLU neuron hálózatok robusztusságának vizsgálata szimbolikus levezetéssel. BA/Bsc, Szegedi Tudományegyetem.
![[thumbnail of 2022_szasz_attila.pdf]](https://diploma.bibl.u-szeged.hu/style/images/fileicons/application_pdf.png) |
PDF
2022_szasz_attila.pdf Hozzáférés joga: SZTE designated computers only Download (736kB) |
English title
ReLU neural networks verification using symbolic methods
Institution
Szegedi Tudományegyetem
Faculty
Faculty of Science and Informatics
Department
Számítógépes Optimalizálás Tanszék
Discipline
Institute
Informatikai Intézet
Specialization
Supervisor(s)
Supervisor
Supervisor scientific name label
Email
EHA
Bánhelyi, Balázs
egyetemi docens
UNSPECIFIED
UNSPECIFIED
| Item Type: | Thesis (BA/Bsc) |
|---|---|
| Subjects: | 01. Natural sciences |
| Depositing User: | TTIK szerkesztő |
| Date Deposited: | 2023. Aug. 21. 15:38 |
| Last Modified: | 2023. Oct. 26. 09:43 |
| URI: | https://diploma.bibl.u-szeged.hu/id/eprint/136171 |
Actions (login required)
 |
View Item |
