Login / Signup
Automatically inferring loop invariants via algorithmic learning.
Yungbum Jung
Soonho Kong
Cristina David
Bow-Yaw Wang
Kwangkeun Yi
Published in:
Math. Struct. Comput. Sci. (2015)
Keyphrases
</>
learning process
inductive inference
prior knowledge
reinforcement learning
learning tasks
database
real time
bayesian networks
active learning
online learning
knowledge acquisition
empirical studies
automatically generated
learning scenarios
elementary school
automatically learned