2 papers
cs.AI2026
The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understanding
Zeynep G. Saribatur, Johannes Langer, Ute Schmid
Explanations are central to human cognition, yet AI systems often produce outputs that are difficult to understand. While symbolic AI offers a transparent foundation for interpreta…
cs.HC2025
Can humans teach machines to code?
Céline Hocquette, Johannes Langer, Andrew Cropper +1
The goal of inductive program synthesis is for a machine to automatically generate a program from user-supplied examples. A key underlying assumption is that humans can provide suf…