ResearchTrend.AI
SyGuS-Comp 2017: Results and Analysis

SyGuS-Comp 2017: Results and Analysis

Rajeev Alur
D. Fisman
Rishabh Singh
Armando Solar-Lezama
ArXiv (abs)PDFHTML

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

1 / 1 papers shown
Title
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
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
NAICLL
98
194
0
15 Jun 2020