BAIT: Benchmarking (Einbettungs-) Architekturen für interaktive Theorembeweise