2 papers
cs.AI2026
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…
cs.PL2026
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…