témavezető: Bánhelyi Balázs
helyszín (magyar oldal): SZTE helyszín rövidítés: SZTE
A kutatási téma leírása:
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.
ajánlott nyelvtudás (magyar oldal): angol további elvárások: 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
felvehető hallgatók száma: 1
Jelentkezési határidő: 2022-09-30
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).
Bejelentkezés
