Megerősítéses tanulás alapú automatikus tételbizonyítás

Projektünk megerősítéses tanulást használ automatikus tételbizonyító rendszerek irányítására. Ez egy régi projekt, több cikk született belőle. Jelenleg azt vizsgáljuk, hogy hogyan tud a rendszer leghatékonyabban tanulni abban az esetben, amikor egyszerre több bizonyítás is rendelkezésére áll.