Login / Signup
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving.
Sean Lamont
Michael Norrish
Amir Dezfouli
Christian Walder
Paul Montague
Published in:
AAAI (2024)
Keyphrases
</>
interactive theorem proving
vector space
data sets
neural architectures
robust image watermarking
database
real time
data mining
information retrieval
information systems
website
image quality
data embedding
manifold embedding