Login / Signup
Explainable Program Synthesis by Localizing Specifications.
Amirmohammad Nazari
Yifei Huang
Roopsha Samanta
Arjun Radhakrishna
Mukund Raghothaman
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
program synthesis
recursive programs
inductive logic programming
databases
machine learning
high level
support vector
specification language
artificial intelligence
high dimensional
domain knowledge
logic programs