{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:AFJSL53KD2AEAWHFTNCCZUXG7I","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"36bb6e60aa5b53885931abef6d6b6b1fd029b6e32848e5bf4597e8d194284005","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-08-13T05:18:55Z","title_canon_sha256":"a7a62e5b6bd3da17744280a4e37dd8b3e6579b5c9686c1bac6b5cac1a094ab5d"},"schema_version":"1.0","source":{"id":"2608.12836","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.12836","created_at":"2026-08-14T00:48:58Z"},{"alias_kind":"arxiv_version","alias_value":"2608.12836v1","created_at":"2026-08-14T00:48:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.12836","created_at":"2026-08-14T00:48:58Z"},{"alias_kind":"pith_short_12","alias_value":"AFJSL53KD2AE","created_at":"2026-08-14T00:48:58Z"},{"alias_kind":"pith_short_16","alias_value":"AFJSL53KD2AEAWHF","created_at":"2026-08-14T00:48:58Z"},{"alias_kind":"pith_short_8","alias_value":"AFJSL53K","created_at":"2026-08-14T00:48:58Z"}],"graph_snapshots":[{"event_id":"sha256:0386eeec131631cb55d9db6b7ad1ad35f41ab1b5e6548bd1d63cc201dfb6bf64","target":"graph","created_at":"2026-08-14T00:48:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2608.12836/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models often fail when answer options require combining atomic judgments under explicit logical operators, even when they judge the individual atoms correctly. We study compound options connected by AND, OR, and NEITHER/NOR, introducing a framework that decomposes each option into atomic answers and scores contrastive hypotheses about each one, so the model never sees a compound option. An operator-constrained integer linear program then composes the calibrated scores into a single prediction. We evaluate on LOGICAL-COMMONSENSEQA and introduce LOGICAL-SATA, a reading-comprehensi","authors_text":"Maria Leonor Pacheco, Obed Junias","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-08-13T05:18:55Z","title":"From Atomic Evidence to Logical Composition: Structured Compositional Reasoning over Compound Answer Options"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.12836","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2143c4db80d3b20aaa1c606c04a407d8971f69f20dff9528f892d368b5264b39","target":"record","created_at":"2026-08-14T00:48:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"36bb6e60aa5b53885931abef6d6b6b1fd029b6e32848e5bf4597e8d194284005","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-08-13T05:18:55Z","title_canon_sha256":"a7a62e5b6bd3da17744280a4e37dd8b3e6579b5c9686c1bac6b5cac1a094ab5d"},"schema_version":"1.0","source":{"id":"2608.12836","kind":"arxiv","version":1}},"canonical_sha256":"015325f76a1e804058e59b442cd2e6fa365f5b31f556f3202fa7e6ca77a27451","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"015325f76a1e804058e59b442cd2e6fa365f5b31f556f3202fa7e6ca77a27451","first_computed_at":"2026-08-14T00:48:58.656540Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-14T00:48:58.656540Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uHca3MSvWI2+Y3fP5hbdjHBCLpjesbexT8AR/mExRPAo6cVRIknBaTigRWY723wHLyN/QPLrbAaMixmPofr5Dw==","signature_status":"signed_v1","signed_at":"2026-08-14T00:48:58.675738Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.12836","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2143c4db80d3b20aaa1c606c04a407d8971f69f20dff9528f892d368b5264b39","sha256:0386eeec131631cb55d9db6b7ad1ad35f41ab1b5e6548bd1d63cc201dfb6bf64"],"state_sha256":"3582707fa0eee6251c4b229be09f05bad71c4deeae24849aa6c9e18771ac6444"}