BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving.

Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague

Browse the full AAAI paper archive.