Lamont, S. (2024) “BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving”, Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), pp. 10607–10615. doi: 10.1609/aaai.v38i9.28931.