COCOLogic-V2: Identifying Logical Inconsistencies via Truly Hard-Negatives
DGX agentarXiv:2606.28194v1 Announce Type: new Abstract: While interpretable models such as concept bottleneck models (CBMs) and program synthesis methods enable verification of model decisions, their evaluati