Gauss: program synthesis by reasoning over graphs.

Rohan Bavishi Caroline Lemieux Koushik Sen Ion Stoica

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

program synthesis
graph matching
graph theory
directed graph
recursive programs
knowledge representation
inductive logic programming
graph databases
reasoning process
graph structure
weighted graph
database
machine learning