The 2013 Evaluation of SMT-COMP and SMT-LIB.

David R. Cok Aaron Stump Tjark Weber

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

Keyphrases

information retrieval
statistical machine translation
language model
evaluation method
modulo theories
database
databases
word alignment
neural network
information systems
machine translation system