SyGuS-Comp 2017: Results and Analysis

29 November 2017

Papers citing "SyGuS-Comp 2017: Results and Analysis"

1 / 1 papers shown

Title
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning Kevin Ellis Catherine Wong Maxwell Nye Mathias Sablé-Meyer Luc Cary Lucas Morales Luke B. Hewitt Armando Solar-Lezama J. Tenenbaum NAI CLL 98 194 0 15 Jun 2020