1 citations · 3 across the 10 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Playing ZendoWorld: Challenging AI Agents on Active Visual Concept Induction
Sophia Koehler, Antonia Wüst, Inga Ibs +5
A central challenge in building intelligent systems is enabling agents to jointly perceive complex inputs, form hypotheses about hidden patterns, and design informative experiments…
cs.LG2026
COCOLogic-V2: Identifying Logical Inconsistencies via Truly Hard-Negatives
David Steinmann, Antonia Wüst, Kristian Kersting +1
While interpretable models such as concept bottleneck models (CBMs) and program synthesis methods enable verification of model decisions, their evaluation is typically limited to s…