Peano: Learning Formal Mathematical Reasoning.

Gabriel Poesia Noah D. Goodman

Published in: CoRR (2022)

Keyphrases

learning algorithm
knowledge base
inductive inference
neural network
active learning
knowledge representation
supervised learning
background knowledge
first order logic
learning tasks
formal model
learning analytics
solving problems
learning mechanism