activity
20242026
collaborators

7 papers

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…

cs.AI2026

Fodor and Pylyshyn's Legacy: Still No Human-like Systematic Compositionality in Neural Networks

Tim Woydt, Moritz Willig, Antonia Wüst +4

Strong meta-learning capabilities for systematic compositionality are emerging as an important skill for navigating the complex and changing tasks of today's world. However, in pre…

cs.AI2025

Synthesizing Visual Concepts as Vision-Language Programs

Antonia Wüst, Wolfgang Stammer, Hikaru Shindo +3

Vision-Language models (VLMs) achieve strong performance on multimodal tasks but often fail at systematic visual reasoning tasks, leading to inconsistent or illogical outputs. Neur…

cs.LG2025

Object Centric Concept Bottlenecks

David Steinmann, Wolfgang Stammer, Antonia Wüst +1

Developing high-performing, yet interpretable models remains a critical challenge in modern AI. Concept-based models (CBMs) attempt to address this by extracting human-understandab…

cs.AI2025

Bongard in Wonderland: Visual Puzzles that Still Make AI Go Mad?

Antonia Wüst, Tim Woydt, Lukas Helff +5

Recently, newly developed Vision-Language Models (VLMs), such as OpenAI's o1, have emerged, seemingly demonstrating advanced reasoning capabilities across text and image modalities…

cs.LG2025

Right on Time: Revising Time Series Models by Constraining their Explanations

Maurice Kraus, David Steinmann, Antonia Wüst +2

Deep time series models often suffer from reliability issues due to their tendency to rely on spurious correlations, leading to incorrect predictions. To mitigate such shortcuts an…