@misc{indiciae6136e71ebdea,
  title = {BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving},
  author = {Sean Lamont and Michael Norrish and Amir Dezfouli and Christian Walder and Paul Montague},
  year = {2024},
  doi = {10.1609/aaai.v38i9.28931},
  url = {https://arxiv.org/abs/2403.03401},
  note = {Source identifier: 2403.03401}
}