Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification.

Beom Heyn Kim Sukwon Oh David Lie

Published in: HotOS (2017)

Keyphrases

high level
statistical model
objective function
prior knowledge
probabilistic model
probability distribution
neural network model
prediction model
search engine
hidden markov models
input data
test cases
computational model
theoretical framework
mathematical model
simulation model