16 citations · 16 across the 1 of their papers we have counts for
3 papers
Teaching a Minimalist Machine to Discover Recursive Programs for Arithmetic
Dominik Magiera, Christiane Wiebel-Herboth, Frank Jäkel
Humans can often acquire and synthesize complex, recursive concepts from minimal experience. Leveraging cognitive insights, we propose the Minimalist Machine, a framework for induc…
WAMpy: Efficient Synthesis of Prolog Programs in Python
Dominik Magiera, Lukas Röhrig, Frank Jäkel
We present WAMpy, a Python framework optimized for synthesizing Prolog programs. Unlike general-purpose Prolog systems, WAMpy targets workloads that repeatedly generate and evaluat…
Solving Bongard Problems with a Visual Language and Pragmatic Reasoning
Stefan Depeweg, Constantin A. Rothkopf, Frank Jäkel
More than 50 years ago Bongard introduced 100 visual concept learning problems as a testbed for intelligent vision systems. These problems are now known as Bongard problems. Althou…