{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:QAJ4ZVHTNSVSCHQDZ4S3XRD5FA","short_pith_number":"pith:QAJ4ZVHT","canonical_record":{"source":{"id":"2605.25566","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-25T08:18:45Z","cross_cats_sorted":[],"title_canon_sha256":"899abb88ce27f94850bd3f542ea8a1a86d5a76a9c5cd137c5e314878d6c65139","abstract_canon_sha256":"a5b8f9020bfe840749097ffe98ea216aa983adf8e8e1d3957f688dc633b374cf"},"schema_version":"1.0"},"canonical_sha256":"8013ccd4f36cab211e03cf25bbc47d281d571777f05e952e8677db60b8c6c8fc","source":{"kind":"arxiv","id":"2605.25566","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.25566","created_at":"2026-05-26T02:04:43Z"},{"alias_kind":"arxiv_version","alias_value":"2605.25566v1","created_at":"2026-05-26T02:04:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.25566","created_at":"2026-05-26T02:04:43Z"},{"alias_kind":"pith_short_12","alias_value":"QAJ4ZVHTNSVS","created_at":"2026-05-26T02:04:43Z"},{"alias_kind":"pith_short_16","alias_value":"QAJ4ZVHTNSVSCHQD","created_at":"2026-05-26T02:04:43Z"},{"alias_kind":"pith_short_8","alias_value":"QAJ4ZVHT","created_at":"2026-05-26T02:04:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:QAJ4ZVHTNSVSCHQDZ4S3XRD5FA","target":"record","payload":{"canonical_record":{"source":{"id":"2605.25566","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-25T08:18:45Z","cross_cats_sorted":[],"title_canon_sha256":"899abb88ce27f94850bd3f542ea8a1a86d5a76a9c5cd137c5e314878d6c65139","abstract_canon_sha256":"a5b8f9020bfe840749097ffe98ea216aa983adf8e8e1d3957f688dc633b374cf"},"schema_version":"1.0"},"canonical_sha256":"8013ccd4f36cab211e03cf25bbc47d281d571777f05e952e8677db60b8c6c8fc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T02:04:43.386660Z","signature_b64":"2efmj1FG6TtQxdf7BgbRqWUu/OHdK2sOMWQnP8AFxXsIELYXMW75+9npMyvuaOxyQdyvhGbg38DWwWPTp53SBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8013ccd4f36cab211e03cf25bbc47d281d571777f05e952e8677db60b8c6c8fc","last_reissued_at":"2026-05-26T02:04:43.385843Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T02:04:43.385843Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.25566","source_version":1,"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-05-26T02:04:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UyEPjDLodPFLEUw+xH0jrgkbDxygR9TUUdoeNIHCEFdj25YQ7ldgZZL00Vqn5XzlxwA5PBY607SX4rYAgOIMDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T07:57:58.058506Z"},"content_sha256":"38b7af9531721a43c22f779671215d4206130714a3fa5b41009651c51f20eefd","schema_version":"1.0","event_id":"sha256:38b7af9531721a43c22f779671215d4206130714a3fa5b41009651c51f20eefd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:QAJ4ZVHTNSVSCHQDZ4S3XRD5FA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Uncertainty Reasoning with Large Language Models for Explainable Disease Diagnosis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jin Song Dong, Xiaoyang Fan, Yufan Cai, Zhe Hou","submitted_at":"2026-05-25T08:18:45Z","abstract_excerpt":"Clinical decision-making requires reasoning over incomplete, imprecise, and linguistically expressed patient narratives. While large language models (LLMs) excel at extracting latent information from natural language, they lack the verifiability and interpretability essential for trustworthy medical AI. We propose a neuro-symbolic reasoning framework that aligns LLMs with formal logic to enable explainable and formally verifiable medical diagnosis. Patient descriptions and clinical guidelines are embedded into a neural knowledge base, where LLMs extract structured medical entities, temporal re"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.25566","kind":"arxiv","version":1},"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/2605.25566/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-05-26T02:04:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iVOTKjQxAXw5N33Zkv6Z6w6ema/NNh4SVN4e8d7YuFP9Tylclg4Y6rn4DCUf8KBcZuoZVxA8ZfGXyQqYYtKVAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T07:57:58.058887Z"},"content_sha256":"e93aadd5ab11646463fd346a65c1f04b58ed9e25d01589c0bf47be37d43a04cf","schema_version":"1.0","event_id":"sha256:e93aadd5ab11646463fd346a65c1f04b58ed9e25d01589c0bf47be37d43a04cf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QAJ4ZVHTNSVSCHQDZ4S3XRD5FA/bundle.json","state_url":"https://pith.science/pith/QAJ4ZVHTNSVSCHQDZ4S3XRD5FA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QAJ4ZVHTNSVSCHQDZ4S3XRD5FA/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-05-28T07:57:58Z","links":{"resolver":"https://pith.science/pith/QAJ4ZVHTNSVSCHQDZ4S3XRD5FA","bundle":"https://pith.science/pith/QAJ4ZVHTNSVSCHQDZ4S3XRD5FA/bundle.json","state":"https://pith.science/pith/QAJ4ZVHTNSVSCHQDZ4S3XRD5FA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QAJ4ZVHTNSVSCHQDZ4S3XRD5FA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QAJ4ZVHTNSVSCHQDZ4S3XRD5FA","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":"a5b8f9020bfe840749097ffe98ea216aa983adf8e8e1d3957f688dc633b374cf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-25T08:18:45Z","title_canon_sha256":"899abb88ce27f94850bd3f542ea8a1a86d5a76a9c5cd137c5e314878d6c65139"},"schema_version":"1.0","source":{"id":"2605.25566","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.25566","created_at":"2026-05-26T02:04:43Z"},{"alias_kind":"arxiv_version","alias_value":"2605.25566v1","created_at":"2026-05-26T02:04:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.25566","created_at":"2026-05-26T02:04:43Z"},{"alias_kind":"pith_short_12","alias_value":"QAJ4ZVHTNSVS","created_at":"2026-05-26T02:04:43Z"},{"alias_kind":"pith_short_16","alias_value":"QAJ4ZVHTNSVSCHQD","created_at":"2026-05-26T02:04:43Z"},{"alias_kind":"pith_short_8","alias_value":"QAJ4ZVHT","created_at":"2026-05-26T02:04:43Z"}],"graph_snapshots":[{"event_id":"sha256:e93aadd5ab11646463fd346a65c1f04b58ed9e25d01589c0bf47be37d43a04cf","target":"graph","created_at":"2026-05-26T02:04:43Z","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/2605.25566/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Clinical decision-making requires reasoning over incomplete, imprecise, and linguistically expressed patient narratives. While large language models (LLMs) excel at extracting latent information from natural language, they lack the verifiability and interpretability essential for trustworthy medical AI. We propose a neuro-symbolic reasoning framework that aligns LLMs with formal logic to enable explainable and formally verifiable medical diagnosis. Patient descriptions and clinical guidelines are embedded into a neural knowledge base, where LLMs extract structured medical entities, temporal re","authors_text":"Jin Song Dong, Xiaoyang Fan, Yufan Cai, Zhe Hou","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-25T08:18:45Z","title":"Uncertainty Reasoning with Large Language Models for Explainable Disease Diagnosis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.25566","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:38b7af9531721a43c22f779671215d4206130714a3fa5b41009651c51f20eefd","target":"record","created_at":"2026-05-26T02:04:43Z","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":"a5b8f9020bfe840749097ffe98ea216aa983adf8e8e1d3957f688dc633b374cf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-25T08:18:45Z","title_canon_sha256":"899abb88ce27f94850bd3f542ea8a1a86d5a76a9c5cd137c5e314878d6c65139"},"schema_version":"1.0","source":{"id":"2605.25566","kind":"arxiv","version":1}},"canonical_sha256":"8013ccd4f36cab211e03cf25bbc47d281d571777f05e952e8677db60b8c6c8fc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8013ccd4f36cab211e03cf25bbc47d281d571777f05e952e8677db60b8c6c8fc","first_computed_at":"2026-05-26T02:04:43.385843Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T02:04:43.385843Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2efmj1FG6TtQxdf7BgbRqWUu/OHdK2sOMWQnP8AFxXsIELYXMW75+9npMyvuaOxyQdyvhGbg38DWwWPTp53SBQ==","signature_status":"signed_v1","signed_at":"2026-05-26T02:04:43.386660Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.25566","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:38b7af9531721a43c22f779671215d4206130714a3fa5b41009651c51f20eefd","sha256:e93aadd5ab11646463fd346a65c1f04b58ed9e25d01589c0bf47be37d43a04cf"],"state_sha256":"c7449ffa559d431838118c7b4e502d5634fef0658edfaf634ec800bd30ed38c7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hMPKSzzPwHrAScneaUXEBtRgQ/vxDMm7ljvLJcg7s7yDX81fjwnmIolQfjZi1eNVq89a5slAy18pG/DwRQIFBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T07:57:58.061119Z","bundle_sha256":"d21841655f4c3e8e9d2d6236a9f8a27990830f9ce0f42db0d76fd9c6e6cd3f94"}}