Login / Signup
Learning to Match Mathematical Statements with Proofs.
Maximin Coavoux
Shay B. Cohen
Published in:
CoRR (2021)
Keyphrases
</>
reinforcement learning
learning process
learning scheme
neural network
learning algorithm
prior knowledge
inductive learning
inductive inference
website
active learning
domain knowledge
empirical studies
unsupervised learning
learning systems
learning problems
learning community