Lamont, S.; Norrish, M.; Dezfouli, A.; Walder, C.; Montague, P. BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving. AAAI 2024, 38, 10607-10615.