S. Lamont, M. Norrish, A. Dezfouli, C. Walder, and P. Montague, “BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving”, AAAI, vol. 38, no. 9, pp. 10607–10615, Mar. 2024.