Proof-Producing Reflection for HOL - With an Application to Model Polymorphism.

Benja Fallenstein Ramana Kumar

Published in: ITP (2015)

Keyphrases

theoretical framework
computational model
statistical model
management system
cost function
conceptual model
experimental data
mathematical model
genetic algorithm
prior knowledge
evolutionary algorithm
markov chain
em algorithm
bayesian networks
feature selection
learning algorithm
neural network
data sets