Haoliang Wang, Ed Vul, Nadia Polikarpova, Judith E. Fan: Theory Acquisition as Constraint-Based Program Synthesis. CogSci 2021