Cuvée: Blending SMT-LIB with Programs and Weakest Preconditions.

Published in: CoRR (2020)

Keyphrases

information systems
neural network
machine learning
inference rules
computer programs
knowledge representation
text classification
statistical machine translation
databases
search engine
data structure
relational databases
probabilistic model
programming environment
fixpoint
modulo theories