Lattice-based SMT for program verification.

Karine Even-Mendoza Antti E. J. Hyvärinen Hana Chockler Natasha Sharygina

Published in: MEMOCODE (2019)

Keyphrases

statistical machine translation
concept lattice
modulo theories
machine translation
data structure
hidden markov models
word alignment
neural network
data mining
machine learning
artificial intelligence
high level