HOπ in Coq.

Guillaume Ambal Sergueï Lenglet Alan Schmitt

Published in: J. Autom. Reason. (2021)

Keyphrases

formal methods
theorem prover
viterbi algorithm
learning algorithm
machine learning
dynamic programming
data model
probability distribution
natural language processing
higher order
graph cuts
statistical model