Improved Tree Search for Automatic Program Synthesis.

Aran Carmon Lior Wolf

Published in: CoRR (2023)

Keyphrases

program synthesis
tree search
branch and bound
search algorithm
mathematical programming
constraint propagation
game tree search
search tree
path finding
state space
genetic algorithm
semantic information
combinatorial optimization
inductive logic programming