Megbízható és optimalizáló eljárások alkalmazása a mesterséges intelligencia területén

Szegedi Tudományegyetem

Informatika Doktori Iskola

Bánhelyi Balázs

informatikai tudományok

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.

1 fő

SZTE

2026-05-31

angol

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