A Model for Capturing and Replaying Proof Strategies.

Leo Freitas Cliff B. Jones Andrius Velykis Iain Whiteside

Published in: VSTTE (2014)

Keyphrases

probabilistic model
computational model
probability distribution
sensitivity analysis
hybrid model
network model
prediction model
theoretical framework
conceptual model
process model
theorem proving
experimental data
mathematical model
databases
input data
bayesian networks
feature selection
data mining