Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A B C D G H M S U V

A
automated theorem proving	A Flock of Vampires Bayesian Optimisation with Gaussian Processes for Premise Selection
AVATAR	Hints for AVATAR
B
bayesian optimisation	Bayesian Optimisation with Gaussian Processes for Premise Selection
C
cmake	A Flock of Vampires
conditional rewriting	Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire
D
docker	A Flock of Vampires
G
gaussian processes	Bayesian Optimisation with Gaussian Processes for Premise Selection
H
hints	Hints for AVATAR
M
machine learning	Bayesian Optimisation with Gaussian Processes for Premise Selection
S
Saturation-based proving	Hints for AVATAR
simplification	Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire
software as a service	A Flock of Vampires
U
upper confidence bound	Bayesian Optimisation with Gaussian Processes for Premise Selection
V
vampire	A Flock of Vampires Bayesian Optimisation with Gaussian Processes for Premise Selection Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire