Lamont, S., Norrish, M., Dezfouli, A., Walder, C., & Montague, P. (2024). BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving. Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), 10607–10615. https://doi.org/10.1609/aaai.v38i9.28931