Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis.

Adrià Gascón Ashish Tiwari Brent Carmer Umang Mathur

Published in: CAV (2) (2017)

Keyphrases

program synthesis
recursive programs
inductive logic programming
artificial intelligence
support vector
domain knowledge
theorem prover
relational learning