BERT is not The Count: Learning to Match Mathematical Statements with Proofs.

Weixian Waylon Li Yftah Ziser Maximin Coavoux Shay B. Cohen

Published in: CoRR (2023)

Keyphrases

learning algorithm
learning process
learning tasks
supervised learning
real time
learning scheme
learning community
learning problems
mobile learning
unsupervised learning
knowledge acquisition
active learning
learning systems
natural language
decision trees
search engine
neural network
database
word problems