Thesis supervisor: Balázs Bánhelyi
Location of studies (in Hungarian): SZTE Abbreviation of location of studies: SZTE
Description of the research topic:
Manapság egyre elterjedtebb megoldás a neuronhálók robusztusságára számítógéppel támogatott optimalizálásokon alapuló bizonyításokat adni. Ezen felül sok esetben nem elegendő csak egyszerű optimalizálókat használni, hanem szükségünk lehet megbízható módszerekre is. Sőt, előfordulhatnak olyan esetek is, amikor a bizonyítás gyakorlatilag egy globális optimum keresése és annak globális tulajdonságának bizonyítása. E területen egyre többet alkalmazott technika az intervallum-aritmetika és az ezen alapuló globális eljárások.
A jelentkező feladata olyan eljárások fejlesztése, amely alkalmas lehet ilyen problémák vizsgálatára.
Recommended language skills (in Hungarian): angol Further requirements: Irodalom:
Vincent Tjeng, Kai Xiao, Russ Tedrake: Evaluating Robustness of Neural Networks with Mixed Integer Programming
Dániel Zombori, Balázs Bánhelyi, Tibor Csendes, István Megyeri Márk Jelasity: Fooling a Complete Neural Network Verifier
Number of students who can be accepted: 1
Deadline for application: 2022-03-15
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
Login
