HOπ in Coq.

Sergueï Lenglet Alan Schmitt

Published in: CPP (2018)

Keyphrases

formal methods
theorem prover
viterbi algorithm
neural network
artificial intelligence
expert systems
dynamic programming
model checking
information retrieval
open source
markov random field
prior information
pairwise
reverse engineering
formal specification
supervised learning