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