Selecting Quantifiers for Instantiation in SMT.

Jan Jakubuv Mikolás Janota Bartosz Piotrowski Jelle Piepenbrock Andrew Reynolds

Published in: SMT (2023)

Keyphrases

statistical machine translation
neural network
genetic algorithm
multimedia
clustering algorithm
face recognition
video sequences
natural language
computational complexity
first order logic
selection algorithm