SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers.

Elizabeth Polgreen Sanjit A. Seshia

Published in: CoRR (2020)

Keyphrases

natural language
program synthesis
genetic algorithm
first order logic
texture synthesis
high level
moment invariants
database
neural network
artificial intelligence
three dimensional
invariant representation
geometric invariants
functional programs
precisely defined
syntactic semantic