{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:VSRHHAZ7YA45FREGT4L2BCNB6A","short_pith_number":"pith:VSRHHAZ7","canonical_record":{"source":{"id":"2305.11391","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-05-19T02:41:12Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"46fedd146371f8d9873b10390880dee89fa7f3814a737aa0c72f7749d5e0a811","abstract_canon_sha256":"188ae0991d92fe9e9bb082fe76779a2ca02075d38f0bfa0ad09af5cff2c11fb3"},"schema_version":"1.0"},"canonical_sha256":"aca273833fc039d2c4869f17a089a1f012706a9ec05161fe9b4f27ab63906dcd","source":{"kind":"arxiv","id":"2305.11391","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.11391","created_at":"2026-07-05T06:45:17Z"},{"alias_kind":"arxiv_version","alias_value":"2305.11391v2","created_at":"2026-07-05T06:45:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.11391","created_at":"2026-07-05T06:45:17Z"},{"alias_kind":"pith_short_12","alias_value":"VSRHHAZ7YA45","created_at":"2026-07-05T06:45:17Z"},{"alias_kind":"pith_short_16","alias_value":"VSRHHAZ7YA45FREG","created_at":"2026-07-05T06:45:17Z"},{"alias_kind":"pith_short_8","alias_value":"VSRHHAZ7","created_at":"2026-07-05T06:45:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:VSRHHAZ7YA45FREGT4L2BCNB6A","target":"record","payload":{"canonical_record":{"source":{"id":"2305.11391","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-05-19T02:41:12Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"46fedd146371f8d9873b10390880dee89fa7f3814a737aa0c72f7749d5e0a811","abstract_canon_sha256":"188ae0991d92fe9e9bb082fe76779a2ca02075d38f0bfa0ad09af5cff2c11fb3"},"schema_version":"1.0"},"canonical_sha256":"aca273833fc039d2c4869f17a089a1f012706a9ec05161fe9b4f27ab63906dcd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:45:17.460570Z","signature_b64":"zy4486OLGULJe+bQYvgODBGoZmbkTg5eCrWsQlPzWrsAqsvc7fIgu2f7kNFyC02tCIHrsjFlHnHoyJvulKuqCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aca273833fc039d2c4869f17a089a1f012706a9ec05161fe9b4f27ab63906dcd","last_reissued_at":"2026-07-05T06:45:17.460025Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:45:17.460025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.11391","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-05T06:45:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J3SeWo7n6IpD6BUkgRXWLjgeHts35D8eScpkt1sx9ss4zwEnO626i4YWUCr+wQNZgvxTAOxpKhuIuAOIQBoBBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T23:54:43.967854Z"},"content_sha256":"c38c2e01612c337da8a0efff13493302ca329718a3c174d90d9f9748f34d1290","schema_version":"1.0","event_id":"sha256:c38c2e01612c337da8a0efff13493302ca329718a3c174d90d9f9748f34d1290"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:VSRHHAZ7YA45FREGT4L2BCNB6A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Andre Freitas, Changshun Wu, Dengyu Wu, Gaojie Jin, Kaiwen Cai, Mustafa A. Mustafa, Peipei Xu, Ronghui Mu, Saddek Bensalem, Sihao Wu, Wei Huang, Wenjie Ruan, Xiaowei Huang, Xingyu Zhao, Yanghao Zhang, Yi Dong, Yi Qi","submitted_at":"2023-05-19T02:41:12Z","abstract_excerpt":"Large Language Models (LLMs) have exploded a new heatwave of AI for their ability to engage end-users in human-level conversations with detailed and articulate answers across many knowledge domains. In response to their fast adoption in many industrial applications, this survey concerns their safety and trustworthiness. First, we review known vulnerabilities and limitations of the LLMs, categorising them into inherent issues, attacks, and unintended bugs. Then, we consider if and how the Verification and Validation (V&V) techniques, which have been widely developed for traditional software and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.11391","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/2305.11391/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-05T06:45:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sSlIlhQ9Gsv07F4ZE/MNrlIYFwFXY9LC3KAuKf8OY08S2JIcsk2Za21OFhnO8wVUshYVviT2ah4feOh0Pj2xCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T23:54:43.968228Z"},"content_sha256":"90a03cf3711d7b8ca1ba419fe0682ace35f43509a08424b42c6f10c4c7eb66ae","schema_version":"1.0","event_id":"sha256:90a03cf3711d7b8ca1ba419fe0682ace35f43509a08424b42c6f10c4c7eb66ae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VSRHHAZ7YA45FREGT4L2BCNB6A/bundle.json","state_url":"https://pith.science/pith/VSRHHAZ7YA45FREGT4L2BCNB6A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VSRHHAZ7YA45FREGT4L2BCNB6A/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-07-08T23:54:43Z","links":{"resolver":"https://pith.science/pith/VSRHHAZ7YA45FREGT4L2BCNB6A","bundle":"https://pith.science/pith/VSRHHAZ7YA45FREGT4L2BCNB6A/bundle.json","state":"https://pith.science/pith/VSRHHAZ7YA45FREGT4L2BCNB6A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VSRHHAZ7YA45FREGT4L2BCNB6A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:VSRHHAZ7YA45FREGT4L2BCNB6A","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":"188ae0991d92fe9e9bb082fe76779a2ca02075d38f0bfa0ad09af5cff2c11fb3","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-05-19T02:41:12Z","title_canon_sha256":"46fedd146371f8d9873b10390880dee89fa7f3814a737aa0c72f7749d5e0a811"},"schema_version":"1.0","source":{"id":"2305.11391","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.11391","created_at":"2026-07-05T06:45:17Z"},{"alias_kind":"arxiv_version","alias_value":"2305.11391v2","created_at":"2026-07-05T06:45:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.11391","created_at":"2026-07-05T06:45:17Z"},{"alias_kind":"pith_short_12","alias_value":"VSRHHAZ7YA45","created_at":"2026-07-05T06:45:17Z"},{"alias_kind":"pith_short_16","alias_value":"VSRHHAZ7YA45FREG","created_at":"2026-07-05T06:45:17Z"},{"alias_kind":"pith_short_8","alias_value":"VSRHHAZ7","created_at":"2026-07-05T06:45:17Z"}],"graph_snapshots":[{"event_id":"sha256:90a03cf3711d7b8ca1ba419fe0682ace35f43509a08424b42c6f10c4c7eb66ae","target":"graph","created_at":"2026-07-05T06:45:17Z","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/2305.11391/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have exploded a new heatwave of AI for their ability to engage end-users in human-level conversations with detailed and articulate answers across many knowledge domains. In response to their fast adoption in many industrial applications, this survey concerns their safety and trustworthiness. First, we review known vulnerabilities and limitations of the LLMs, categorising them into inherent issues, attacks, and unintended bugs. Then, we consider if and how the Verification and Validation (V&V) techniques, which have been widely developed for traditional software and","authors_text":"Andre Freitas, Changshun Wu, Dengyu Wu, Gaojie Jin, Kaiwen Cai, Mustafa A. Mustafa, Peipei Xu, Ronghui Mu, Saddek Bensalem, Sihao Wu, Wei Huang, Wenjie Ruan, Xiaowei Huang, Xingyu Zhao, Yanghao Zhang, Yi Dong, Yi Qi","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-05-19T02:41:12Z","title":"A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.11391","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:c38c2e01612c337da8a0efff13493302ca329718a3c174d90d9f9748f34d1290","target":"record","created_at":"2026-07-05T06:45:17Z","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":"188ae0991d92fe9e9bb082fe76779a2ca02075d38f0bfa0ad09af5cff2c11fb3","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-05-19T02:41:12Z","title_canon_sha256":"46fedd146371f8d9873b10390880dee89fa7f3814a737aa0c72f7749d5e0a811"},"schema_version":"1.0","source":{"id":"2305.11391","kind":"arxiv","version":2}},"canonical_sha256":"aca273833fc039d2c4869f17a089a1f012706a9ec05161fe9b4f27ab63906dcd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aca273833fc039d2c4869f17a089a1f012706a9ec05161fe9b4f27ab63906dcd","first_computed_at":"2026-07-05T06:45:17.460025Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:45:17.460025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zy4486OLGULJe+bQYvgODBGoZmbkTg5eCrWsQlPzWrsAqsvc7fIgu2f7kNFyC02tCIHrsjFlHnHoyJvulKuqCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:45:17.460570Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.11391","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c38c2e01612c337da8a0efff13493302ca329718a3c174d90d9f9748f34d1290","sha256:90a03cf3711d7b8ca1ba419fe0682ace35f43509a08424b42c6f10c4c7eb66ae"],"state_sha256":"dad6aaf5b2061125378ba463123761593bfc6683b33c0b886e214154576e30e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JCCaVPNig7LkmDZoOXUk3Y41U54M6fRUBkUS8f6HfFIK6calj/GrtAkGIOW595S1gZXyc7kSbiksbIOSaLDPCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T23:54:43.970272Z","bundle_sha256":"d0f7e341be305411eb8ad88c0780a9b00352568f0ca0e089b700f8cb6e774fc0"}}