Interaktive Beweise zur effizienten Verifikation des agnostischen PAC-Lernens

Interaktive Beweise ermöglichen es einem Verifizierer, die Ergebnisse eines unzuverlässigen Lernenden (oder Beweisers) zu überprüfen, ohne die Lernaufgabe selbst von Grund auf durchführen zu müssen. Die Autoren konstruieren interaktive Protokolle, die es dem Verifizierer ermöglichen, bestimmte Klassen von Booleschen Funktionen, wie schwere Fourier-Charaktere, AC0[2]-Schaltkreise und k-Juntas, agnostisch zu lernen, wobei der Verifizierer deutlich weniger Ressourcen verwendet als der ehrliche Beweiser.