Metric Program Synthesis for Inverse CSG.

John K. Feser Isil Dillig Armando Solar-Lezama

Published in: CoRR (2022)

Keyphrases

program synthesis
inductive logic programming
metric space
recursive programs
general purpose
artificial intelligence
distance measure
evaluation metrics
machine learning
high dimensional
background knowledge
multiagent systems
relational learning