{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:BXRKWMGICQO3434Y4I2TOXSAM4","short_pith_number":"pith:BXRKWMGI","canonical_record":{"source":{"id":"2502.08080","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-02-12T02:54:12Z","cross_cats_sorted":[],"title_canon_sha256":"ae5b4703399fafe56e5e8cc6b7da7020b08d4409b8c700c2c691c6f57d512e5a","abstract_canon_sha256":"1543e8718b2779e00ae50cf7c3b431fd82ebe8cfdd1c2e2535a434958740215a"},"schema_version":"1.0"},"canonical_sha256":"0de2ab30c8141dbe6f98e235375e4067327c0abfac7b33b7206a4c4fc3e8fb4f","source":{"kind":"arxiv","id":"2502.08080","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.08080","created_at":"2026-07-05T10:26:13Z"},{"alias_kind":"arxiv_version","alias_value":"2502.08080v2","created_at":"2026-07-05T10:26:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.08080","created_at":"2026-07-05T10:26:13Z"},{"alias_kind":"pith_short_12","alias_value":"BXRKWMGICQO3","created_at":"2026-07-05T10:26:13Z"},{"alias_kind":"pith_short_16","alias_value":"BXRKWMGICQO3434Y","created_at":"2026-07-05T10:26:13Z"},{"alias_kind":"pith_short_8","alias_value":"BXRKWMGI","created_at":"2026-07-05T10:26:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:BXRKWMGICQO3434Y4I2TOXSAM4","target":"record","payload":{"canonical_record":{"source":{"id":"2502.08080","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-02-12T02:54:12Z","cross_cats_sorted":[],"title_canon_sha256":"ae5b4703399fafe56e5e8cc6b7da7020b08d4409b8c700c2c691c6f57d512e5a","abstract_canon_sha256":"1543e8718b2779e00ae50cf7c3b431fd82ebe8cfdd1c2e2535a434958740215a"},"schema_version":"1.0"},"canonical_sha256":"0de2ab30c8141dbe6f98e235375e4067327c0abfac7b33b7206a4c4fc3e8fb4f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:26:13.700212Z","signature_b64":"E+t7dyJdwKy0vWKRsFrVK3oI+QEqNSnEF0mCqM394IQKTrc3SKa/4KuFMXby6BYjox9V9c/cwvuBWCSdqJdRBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0de2ab30c8141dbe6f98e235375e4067327c0abfac7b33b7206a4c4fc3e8fb4f","last_reissued_at":"2026-07-05T10:26:13.699617Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:26:13.699617Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.08080","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:26:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cefLGE45GLx6gKq5t5eR3ZOSrVwWCsYKhAtl/G2kiqC4P8Q7PJYEhlQ/UWaBz0iUHEKy+ZHr+6nRlu2irjXnDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T18:36:46.307170Z"},"content_sha256":"e29d3fb6d5a3c7e61398525429412146c47e3016a78a4e052916e6a40fb5031f","schema_version":"1.0","event_id":"sha256:e29d3fb6d5a3c7e61398525429412146c47e3016a78a4e052916e6a40fb5031f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:BXRKWMGICQO3434Y4I2TOXSAM4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NLI under the Microscope: What Atomic Hypothesis Decomposition Reveals","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Neha Srikanth, Rachel Rudinger","submitted_at":"2025-02-12T02:54:12Z","abstract_excerpt":"Decomposition of text into atomic propositions is a flexible framework allowing for the closer inspection of input and output text. We use atomic decomposition of hypotheses in two natural language reasoning tasks, traditional NLI and defeasible NLI, to form atomic sub-problems, or granular inferences that models must weigh when solving the overall problem. These atomic sub-problems serve as a tool to further understand the structure of both NLI and defeasible reasoning, probe a model's consistency and understanding of different inferences, and measure the diversity of examples in benchmark da"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.08080","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2502.08080/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:26:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dSP2LG0jklW2K9ub/G1ver4v2XzAB1PDmcNuPI1BFRLI8nHHohx0her/aiHMnU9fYBWwpIH7CM1Cmzb9aLC/Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T18:36:46.307694Z"},"content_sha256":"00d371a55d3db8a0429ea63cd7f905925866784f5ba6cf6a29879c3f9fe79bc3","schema_version":"1.0","event_id":"sha256:00d371a55d3db8a0429ea63cd7f905925866784f5ba6cf6a29879c3f9fe79bc3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BXRKWMGICQO3434Y4I2TOXSAM4/bundle.json","state_url":"https://pith.science/pith/BXRKWMGICQO3434Y4I2TOXSAM4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BXRKWMGICQO3434Y4I2TOXSAM4/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T18:36:46Z","links":{"resolver":"https://pith.science/pith/BXRKWMGICQO3434Y4I2TOXSAM4","bundle":"https://pith.science/pith/BXRKWMGICQO3434Y4I2TOXSAM4/bundle.json","state":"https://pith.science/pith/BXRKWMGICQO3434Y4I2TOXSAM4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BXRKWMGICQO3434Y4I2TOXSAM4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BXRKWMGICQO3434Y4I2TOXSAM4","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":"1543e8718b2779e00ae50cf7c3b431fd82ebe8cfdd1c2e2535a434958740215a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-02-12T02:54:12Z","title_canon_sha256":"ae5b4703399fafe56e5e8cc6b7da7020b08d4409b8c700c2c691c6f57d512e5a"},"schema_version":"1.0","source":{"id":"2502.08080","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.08080","created_at":"2026-07-05T10:26:13Z"},{"alias_kind":"arxiv_version","alias_value":"2502.08080v2","created_at":"2026-07-05T10:26:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.08080","created_at":"2026-07-05T10:26:13Z"},{"alias_kind":"pith_short_12","alias_value":"BXRKWMGICQO3","created_at":"2026-07-05T10:26:13Z"},{"alias_kind":"pith_short_16","alias_value":"BXRKWMGICQO3434Y","created_at":"2026-07-05T10:26:13Z"},{"alias_kind":"pith_short_8","alias_value":"BXRKWMGI","created_at":"2026-07-05T10:26:13Z"}],"graph_snapshots":[{"event_id":"sha256:00d371a55d3db8a0429ea63cd7f905925866784f5ba6cf6a29879c3f9fe79bc3","target":"graph","created_at":"2026-07-05T10:26:13Z","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/2502.08080/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Decomposition of text into atomic propositions is a flexible framework allowing for the closer inspection of input and output text. We use atomic decomposition of hypotheses in two natural language reasoning tasks, traditional NLI and defeasible NLI, to form atomic sub-problems, or granular inferences that models must weigh when solving the overall problem. These atomic sub-problems serve as a tool to further understand the structure of both NLI and defeasible reasoning, probe a model's consistency and understanding of different inferences, and measure the diversity of examples in benchmark da","authors_text":"Neha Srikanth, Rachel Rudinger","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-02-12T02:54:12Z","title":"NLI under the Microscope: What Atomic Hypothesis Decomposition Reveals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.08080","kind":"arxiv","version":2},"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:e29d3fb6d5a3c7e61398525429412146c47e3016a78a4e052916e6a40fb5031f","target":"record","created_at":"2026-07-05T10:26:13Z","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":"1543e8718b2779e00ae50cf7c3b431fd82ebe8cfdd1c2e2535a434958740215a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-02-12T02:54:12Z","title_canon_sha256":"ae5b4703399fafe56e5e8cc6b7da7020b08d4409b8c700c2c691c6f57d512e5a"},"schema_version":"1.0","source":{"id":"2502.08080","kind":"arxiv","version":2}},"canonical_sha256":"0de2ab30c8141dbe6f98e235375e4067327c0abfac7b33b7206a4c4fc3e8fb4f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0de2ab30c8141dbe6f98e235375e4067327c0abfac7b33b7206a4c4fc3e8fb4f","first_computed_at":"2026-07-05T10:26:13.699617Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:26:13.699617Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E+t7dyJdwKy0vWKRsFrVK3oI+QEqNSnEF0mCqM394IQKTrc3SKa/4KuFMXby6BYjox9V9c/cwvuBWCSdqJdRBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:26:13.700212Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.08080","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e29d3fb6d5a3c7e61398525429412146c47e3016a78a4e052916e6a40fb5031f","sha256:00d371a55d3db8a0429ea63cd7f905925866784f5ba6cf6a29879c3f9fe79bc3"],"state_sha256":"e4b37c4ba20001d92a535777264b190137310b1a6979355f613138d7aedf3a51"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1pWDt/iGFgRnzcEOC6Y7Z9uYJj05mvAi87LqvXlmLXiH9znWM2RwH3GWODLpUfg98mgm0OzOo1q4YzC51bP5CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T18:36:46.312124Z","bundle_sha256":"d576bad0f94f398193e7c5da20be0b942f077b8d285ef799e0308882e6b32a21"}}