TY  - RPRT
TI  - BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
AU  - Sean Lamont
AU  - Michael Norrish
AU  - Amir Dezfouli
AU  - Christian Walder
AU  - Paul Montague
PY  - 2024
DO  - 10.1609/aaai.v38i9.28931
UR  - https://arxiv.org/abs/2403.03401
ID  - 2403.03401
ER  -