Login / Signup

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

Sean LamontMichael NorrishAmir DezfouliChristian WalderPaul Montague
Published in: CoRR (2024)
Keyphrases
  • interactive theorem proving
  • vector space
  • multidimensional scaling
  • protein protein interaction networks
  • data sets
  • machine learning
  • feature vectors
  • random walk
  • data hiding
  • graph embedding