Language and Proofs for Higher-Order SMT (Work in Progress).
Haniel BarbosaJasmin Christian BlanchetteSimon CruanesDaniel El OuraouiPascal FontainePublished in: PxTP (2017)
Keyphrases
- higher order
- lambda calculus
- language learning
- programming language
- pairwise
- natural language
- language processing
- high order
- machine translation system
- artificial intelligence
- natural images
- database
- formal proofs
- predicate invention
- decision procedures
- target language
- background knowledge
- computer programs
- modeling language
- markov random field
- bayesian networks
- high level
- neural network
- data sets