Quantified Invariants via Syntax-Guided Synthesis.

Grigory Fedyukovich Sumanth Prabhu Kumar Madhukar Aarti Gupta

Published in: CAV (1) (2019)

Keyphrases

program synthesis
databases
neural network
real world
similarity measure
natural language
data sets
invariant features
operational semantics
predicate calculus
definition language