BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs.
Weixian Waylon LiYftah ZiserMaximin CoavouxShay B. CohenPublished in: EACL (2023)
Keyphrases
- learning algorithm
- learning process
- learning systems
- knowledge acquisition
- supervised learning
- information systems
- learning mechanism
- learning analytics
- learning problems
- learning tasks
- online learning
- prior knowledge
- reinforcement learning
- machine learning
- semi supervised
- active learning
- empirical studies
- background knowledge
- mobile learning
- search engine
- data mining