Lamont, Sean, Michael Norrish, Amir Dezfouli, Christian Walder, and Paul Montague. 2024. “BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (9):10607-15. https://doi.org/10.1609/aaai.v38i9.28931.