Learning Probabilistic Termination Proofs.

Alessandro Abate Mirco Giacobbe Diptarko Roy

Published in: CAV (2) (2021)

Keyphrases

learning algorithm
learning problems
learning process
learning systems
knowledge acquisition
genetic algorithm
prior knowledge
database
artificial intelligence
probabilistic model
online learning
incremental learning
learning tasks
empirical studies
supervised learning
website
e learning
neural network