BAIT präsentiert einen Rahmen für den fairen und effizienten Vergleich von Lernansätzen in der interaktiven Beweistheorie, wobei die Struktur Aware Transformers besonders gut abschneiden.
