David Steinmann

COCOLogic-V2: Identifying Logical Inconsistencies via Truly Hard-Negatives

David Steinmann, Antonia Wüst, Kristian Kersting, Wolfgang Stammer

While interpretable models such as concept bottleneck models (CBMs) and program synthesis methods enable verification of model decisions, their evaluation is typically limited to simple tasks, leaving complex reasoning on real-world images largely unexplored. We introduce COCOLog…Read more