{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:ZAJ36JB3HYKCMJIRNRQOFL3BV5","short_pith_number":"pith:ZAJ36JB3","canonical_record":{"source":{"id":"2403.10144","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-03-15T09:43:52Z","cross_cats_sorted":["cs.AI","cs.LG","cs.LO","cs.PL"],"title_canon_sha256":"f85f0b89ee24339d109bc7b914ed494f8adea9d5cc3c63676e414fbf42463062","abstract_canon_sha256":"7c57e5f0e767512e60cc4f6e7ebb5aba983162d6c38663d8b2184549fca06416"},"schema_version":"1.0"},"canonical_sha256":"c813bf243b3e142625116c60e2af61af46774082a50ae888317afb9b9a69ce12","source":{"kind":"arxiv","id":"2403.10144","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.10144","created_at":"2026-07-05T10:45:51Z"},{"alias_kind":"arxiv_version","alias_value":"2403.10144v3","created_at":"2026-07-05T10:45:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.10144","created_at":"2026-07-05T10:45:51Z"},{"alias_kind":"pith_short_12","alias_value":"ZAJ36JB3HYKC","created_at":"2026-07-05T10:45:51Z"},{"alias_kind":"pith_short_16","alias_value":"ZAJ36JB3HYKCMJIR","created_at":"2026-07-05T10:45:51Z"},{"alias_kind":"pith_short_8","alias_value":"ZAJ36JB3","created_at":"2026-07-05T10:45:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:ZAJ36JB3HYKCMJIRNRQOFL3BV5","target":"record","payload":{"canonical_record":{"source":{"id":"2403.10144","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-03-15T09:43:52Z","cross_cats_sorted":["cs.AI","cs.LG","cs.LO","cs.PL"],"title_canon_sha256":"f85f0b89ee24339d109bc7b914ed494f8adea9d5cc3c63676e414fbf42463062","abstract_canon_sha256":"7c57e5f0e767512e60cc4f6e7ebb5aba983162d6c38663d8b2184549fca06416"},"schema_version":"1.0"},"canonical_sha256":"c813bf243b3e142625116c60e2af61af46774082a50ae888317afb9b9a69ce12","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:45:51.367499Z","signature_b64":"V7mL569in2m4Ze3mAb3kR4hEMZK3MM0W/+90tjHzSmyI2sjGHWXomePsUbXOwDVcgCQ1pwAIP008FUBjqvwjBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c813bf243b3e142625116c60e2af61af46774082a50ae888317afb9b9a69ce12","last_reissued_at":"2026-07-05T10:45:51.367006Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:45:51.367006Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.10144","source_version":3,"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:45:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xJqnE4YeELjbJhTztYAnIyp/ADvq3ElP4UKkX2GIL42+khawQUCRvUfHWqhetTYC27VTZ4V2wPE3wCjshyURDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T23:34:35.054482Z"},"content_sha256":"a936bee1a6c7ed76ad086b5ca5954f97caa5a36bd9941587f3571dc50cbc1257","schema_version":"1.0","event_id":"sha256:a936bee1a6c7ed76ad086b5ca5954f97caa5a36bd9941587f3571dc50cbc1257"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:ZAJ36JB3HYKCMJIRNRQOFL3BV5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NLP Verification: Towards a General Methodology for Certifying Robustness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.LO","cs.PL"],"primary_cat":"cs.CL","authors_text":"Ekaterina Komendantskaya, Guy Katz, Luca Arnaboldi, Marco Casadio, Matthew L. Daggitt, Oliver Lemon, Omri Isac, Tanvi Dinkar, Verena Rieser","submitted_at":"2024-03-15T09:43:52Z","abstract_excerpt":"Machine Learning (ML) has exhibited substantial success in the field of Natural Language Processing (NLP). For example large language models have empirically proven to be capable of producing text of high complexity and cohesion. However, they are prone to inaccuracies and hallucinations. As these systems are increasingly integrated into real-world applications, ensuring their safety and reliability becomes a primary concern. There are safety critical contexts where such models must be robust to variability or attack, and give guarantees over their output. Computer Vision had pioneered the use"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.10144","kind":"arxiv","version":3},"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/2403.10144/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:45:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PTYQJWgfqZenMe27GU+ckbCp2ozk+pocEvuEmm0uhAtRGEcH9UuJptTYBA0nrbrzFbFzXn1hG5sA9Q1TE6X+Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T23:34:35.055374Z"},"content_sha256":"2018bcad846cfb64b1aaa3aeb654deef302fba347b921f115f93a22ec36020a5","schema_version":"1.0","event_id":"sha256:2018bcad846cfb64b1aaa3aeb654deef302fba347b921f115f93a22ec36020a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZAJ36JB3HYKCMJIRNRQOFL3BV5/bundle.json","state_url":"https://pith.science/pith/ZAJ36JB3HYKCMJIRNRQOFL3BV5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZAJ36JB3HYKCMJIRNRQOFL3BV5/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-16T23:34:35Z","links":{"resolver":"https://pith.science/pith/ZAJ36JB3HYKCMJIRNRQOFL3BV5","bundle":"https://pith.science/pith/ZAJ36JB3HYKCMJIRNRQOFL3BV5/bundle.json","state":"https://pith.science/pith/ZAJ36JB3HYKCMJIRNRQOFL3BV5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZAJ36JB3HYKCMJIRNRQOFL3BV5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ZAJ36JB3HYKCMJIRNRQOFL3BV5","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":"7c57e5f0e767512e60cc4f6e7ebb5aba983162d6c38663d8b2184549fca06416","cross_cats_sorted":["cs.AI","cs.LG","cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-03-15T09:43:52Z","title_canon_sha256":"f85f0b89ee24339d109bc7b914ed494f8adea9d5cc3c63676e414fbf42463062"},"schema_version":"1.0","source":{"id":"2403.10144","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.10144","created_at":"2026-07-05T10:45:51Z"},{"alias_kind":"arxiv_version","alias_value":"2403.10144v3","created_at":"2026-07-05T10:45:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.10144","created_at":"2026-07-05T10:45:51Z"},{"alias_kind":"pith_short_12","alias_value":"ZAJ36JB3HYKC","created_at":"2026-07-05T10:45:51Z"},{"alias_kind":"pith_short_16","alias_value":"ZAJ36JB3HYKCMJIR","created_at":"2026-07-05T10:45:51Z"},{"alias_kind":"pith_short_8","alias_value":"ZAJ36JB3","created_at":"2026-07-05T10:45:51Z"}],"graph_snapshots":[{"event_id":"sha256:2018bcad846cfb64b1aaa3aeb654deef302fba347b921f115f93a22ec36020a5","target":"graph","created_at":"2026-07-05T10:45:51Z","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/2403.10144/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Machine Learning (ML) has exhibited substantial success in the field of Natural Language Processing (NLP). For example large language models have empirically proven to be capable of producing text of high complexity and cohesion. However, they are prone to inaccuracies and hallucinations. As these systems are increasingly integrated into real-world applications, ensuring their safety and reliability becomes a primary concern. There are safety critical contexts where such models must be robust to variability or attack, and give guarantees over their output. Computer Vision had pioneered the use","authors_text":"Ekaterina Komendantskaya, Guy Katz, Luca Arnaboldi, Marco Casadio, Matthew L. Daggitt, Oliver Lemon, Omri Isac, Tanvi Dinkar, Verena Rieser","cross_cats":["cs.AI","cs.LG","cs.LO","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-03-15T09:43:52Z","title":"NLP Verification: Towards a General Methodology for Certifying Robustness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.10144","kind":"arxiv","version":3},"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:a936bee1a6c7ed76ad086b5ca5954f97caa5a36bd9941587f3571dc50cbc1257","target":"record","created_at":"2026-07-05T10:45:51Z","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":"7c57e5f0e767512e60cc4f6e7ebb5aba983162d6c38663d8b2184549fca06416","cross_cats_sorted":["cs.AI","cs.LG","cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-03-15T09:43:52Z","title_canon_sha256":"f85f0b89ee24339d109bc7b914ed494f8adea9d5cc3c63676e414fbf42463062"},"schema_version":"1.0","source":{"id":"2403.10144","kind":"arxiv","version":3}},"canonical_sha256":"c813bf243b3e142625116c60e2af61af46774082a50ae888317afb9b9a69ce12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c813bf243b3e142625116c60e2af61af46774082a50ae888317afb9b9a69ce12","first_computed_at":"2026-07-05T10:45:51.367006Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:45:51.367006Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V7mL569in2m4Ze3mAb3kR4hEMZK3MM0W/+90tjHzSmyI2sjGHWXomePsUbXOwDVcgCQ1pwAIP008FUBjqvwjBA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:45:51.367499Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.10144","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a936bee1a6c7ed76ad086b5ca5954f97caa5a36bd9941587f3571dc50cbc1257","sha256:2018bcad846cfb64b1aaa3aeb654deef302fba347b921f115f93a22ec36020a5"],"state_sha256":"a26399ae3c0a3abe3b3df051578f11774cede237cba07e99f7f21f8db74d3229"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gqX0abpRLST12ZPsXJkXlklg8XMYouEt0SvAVV/8Vtt2kgwxbSKokd4r2tWIQglSK9aKKUReBcG7Zg64pXx8Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T23:34:35.070061Z","bundle_sha256":"61b3505f2d6ba2bdcbbb5f8076eea01781dab8586cad6830f603ba081851db74"}}