• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Quantified Invariants via Syntax-Guided Synthesis.

Grigory FedyukovichSumanth PrabhuKumar MadhukarAarti 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