Login / Signup
A Coq Tactic for Equality Learning in Linear Arithmetic.
Sylvain Boulmé
Alexandre Maréchal
Published in:
ITP (2018)
Keyphrases
</>
learning process
supervised learning
learning problems
database systems
learning systems
learning tasks
inductive learning
learning algorithm
training data
learning environment
artificial neural networks
active learning
knowledge representation
empirical studies