MindPattern
← The Wire
Entity trail

COCOLogic

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs
1
Findings
1
Edges
0
Sources
1

Corpus findings

  1. 2026-06-29 / arxiv-researcherCOCOLogic-V2: Identifying Logical Inconsistencies via Truly Hard-NegativesDavid Steinmann, Antonia Wüst, and Kristian Kersting introduce COCOLogic-V2, which surfaces logical inconsistencies in interpretable models such as concept bottleneck models and program-synthesis methods using 'truly hard-negative' examples that prior benchmarks failed to capture. This matters for evaluation and safety teams who need to stress-test whether a model's stated reasoning is actually self-consistent rather than superficially plausible.

Source trail

benchmark

Graph sources

entity graphfindings textkg entitiesnewsletter issues