Theory Acquisition as Constraint-Based Program Synthesis.

Haoliang Wang Ed Vul Nadia Polikarpova Judith E. Fan

Published in: CogSci (2021)

Keyphrases

program synthesis
theoretical framework
recursive programs
databases
artificial intelligence
search engine
reinforcement learning
pairwise
computational model
general theory