20 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.AI2022
Type theory in human-like learning and inference
Felix A. Sosa, Tomer Ullman
Humans can generate reasonable answers to novel queries (Schulz, 2012): if I asked you what kind of food you want to eat for lunch, you would respond with a food, not a time. The t…
cs.PL2019★ 20 cited
Write, Execute, Assess: Program Synthesis with a REPL
Kevin Ellis, Maxwell Nye, Yewen Pu +3
We present a neural program synthesis approach integrating components which write, execute, and assess code to navigate the search space of possible programs. We equip the search p…