Learning Invariants through Soft Unification.

Nuri Cingillioglu Alessandra Russo

Published in: NeurIPS (2020)

Keyphrases

learning process
learning algorithm
learning systems
incremental learning
database
reinforcement learning
d objects
higher order
training data
pattern recognition
feature space
online learning
learning problems
theorem proving