{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:CU3ILSMR5LU6E6DNI5CHMW5XJJ","short_pith_number":"pith:CU3ILSMR","canonical_record":{"source":{"id":"2309.10171","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2023-09-18T21:40:08Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"8035201860835665b75c3088f2ab1ffab2e9431a627da38e75c95337d6eee31e","abstract_canon_sha256":"6c29b39034942b4aa25233353a1dc7461d877fa7dbe144fdd06b38d70ab324ac"},"schema_version":"1.0"},"canonical_sha256":"153685c991eae9e2786d4744765bb74a789660d3cc44a8a9f042a36e1d1416f5","source":{"kind":"arxiv","id":"2309.10171","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.10171","created_at":"2026-07-05T06:51:51Z"},{"alias_kind":"arxiv_version","alias_value":"2309.10171v1","created_at":"2026-07-05T06:51:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.10171","created_at":"2026-07-05T06:51:51Z"},{"alias_kind":"pith_short_12","alias_value":"CU3ILSMR5LU6","created_at":"2026-07-05T06:51:51Z"},{"alias_kind":"pith_short_16","alias_value":"CU3ILSMR5LU6E6DN","created_at":"2026-07-05T06:51:51Z"},{"alias_kind":"pith_short_8","alias_value":"CU3ILSMR","created_at":"2026-07-05T06:51:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:CU3ILSMR5LU6E6DNI5CHMW5XJJ","target":"record","payload":{"canonical_record":{"source":{"id":"2309.10171","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2023-09-18T21:40:08Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"8035201860835665b75c3088f2ab1ffab2e9431a627da38e75c95337d6eee31e","abstract_canon_sha256":"6c29b39034942b4aa25233353a1dc7461d877fa7dbe144fdd06b38d70ab324ac"},"schema_version":"1.0"},"canonical_sha256":"153685c991eae9e2786d4744765bb74a789660d3cc44a8a9f042a36e1d1416f5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:51:51.838560Z","signature_b64":"C9fUNy4HmsY/wHwl2Fey0PDyxNL+ikKdA6eMZjOgwH6m5z+KEQLWVA57KJC+UM4hc3sO12+U6wuzG761HtuGBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"153685c991eae9e2786d4744765bb74a789660d3cc44a8a9f042a36e1d1416f5","last_reissued_at":"2026-07-05T06:51:51.838105Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:51:51.838105Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.10171","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-07-05T06:51:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zmr5qcAc2A41M/QXKU5Pl1HY7/SdyP9Z1Lu/DtG8QtwGaq88Hs20kpT019GwskDtlPFFbHOgcTeOUK0QOdmYBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:42:12.401964Z"},"content_sha256":"835142c5a58eaebb2511b675798a572d542741200dc2be5b4e99b8d850b23222","schema_version":"1.0","event_id":"sha256:835142c5a58eaebb2511b675798a572d542741200dc2be5b4e99b8d850b23222"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:CU3ILSMR5LU6E6DNI5CHMW5XJJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Specification-Driven Video Search via Foundation Models and Formal Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.CV","authors_text":"Jean-Rapha\\\"el Gaglione, Sandeep Chinchali, Ufuk Topcu, Yunhao Yang","submitted_at":"2023-09-18T21:40:08Z","abstract_excerpt":"The increasing abundance of video data enables users to search for events of interest, e.g., emergency incidents. Meanwhile, it raises new concerns, such as the need for preserving privacy. Existing approaches to video search require either manual inspection or a deep learning model with massive training. We develop a method that uses recent advances in vision and language models, as well as formal methods, to search for events of interest in video clips automatically and efficiently. The method consists of an algorithm to map text-based event descriptions into linear temporal logic over finit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.10171","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/2309.10171/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:51:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6zBfYeaU+afv5eTfvsWSevHg0LMxSrLEn63EjLf3iEfv4Ovty88uR571hwH6HFK5amdiuR/JzF3k487wqA+WBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:42:12.402447Z"},"content_sha256":"f4d8db166503085679334cda670f0aeb46858f50e45d5293f5f10db0d1e3face","schema_version":"1.0","event_id":"sha256:f4d8db166503085679334cda670f0aeb46858f50e45d5293f5f10db0d1e3face"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CU3ILSMR5LU6E6DNI5CHMW5XJJ/bundle.json","state_url":"https://pith.science/pith/CU3ILSMR5LU6E6DNI5CHMW5XJJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CU3ILSMR5LU6E6DNI5CHMW5XJJ/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-03T16:42:12Z","links":{"resolver":"https://pith.science/pith/CU3ILSMR5LU6E6DNI5CHMW5XJJ","bundle":"https://pith.science/pith/CU3ILSMR5LU6E6DNI5CHMW5XJJ/bundle.json","state":"https://pith.science/pith/CU3ILSMR5LU6E6DNI5CHMW5XJJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CU3ILSMR5LU6E6DNI5CHMW5XJJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:CU3ILSMR5LU6E6DNI5CHMW5XJJ","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":"6c29b39034942b4aa25233353a1dc7461d877fa7dbe144fdd06b38d70ab324ac","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2023-09-18T21:40:08Z","title_canon_sha256":"8035201860835665b75c3088f2ab1ffab2e9431a627da38e75c95337d6eee31e"},"schema_version":"1.0","source":{"id":"2309.10171","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.10171","created_at":"2026-07-05T06:51:51Z"},{"alias_kind":"arxiv_version","alias_value":"2309.10171v1","created_at":"2026-07-05T06:51:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.10171","created_at":"2026-07-05T06:51:51Z"},{"alias_kind":"pith_short_12","alias_value":"CU3ILSMR5LU6","created_at":"2026-07-05T06:51:51Z"},{"alias_kind":"pith_short_16","alias_value":"CU3ILSMR5LU6E6DN","created_at":"2026-07-05T06:51:51Z"},{"alias_kind":"pith_short_8","alias_value":"CU3ILSMR","created_at":"2026-07-05T06:51:51Z"}],"graph_snapshots":[{"event_id":"sha256:f4d8db166503085679334cda670f0aeb46858f50e45d5293f5f10db0d1e3face","target":"graph","created_at":"2026-07-05T06:51: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/2309.10171/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The increasing abundance of video data enables users to search for events of interest, e.g., emergency incidents. Meanwhile, it raises new concerns, such as the need for preserving privacy. Existing approaches to video search require either manual inspection or a deep learning model with massive training. We develop a method that uses recent advances in vision and language models, as well as formal methods, to search for events of interest in video clips automatically and efficiently. The method consists of an algorithm to map text-based event descriptions into linear temporal logic over finit","authors_text":"Jean-Rapha\\\"el Gaglione, Sandeep Chinchali, Ufuk Topcu, Yunhao Yang","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2023-09-18T21:40:08Z","title":"Specification-Driven Video Search via Foundation Models and Formal Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.10171","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:835142c5a58eaebb2511b675798a572d542741200dc2be5b4e99b8d850b23222","target":"record","created_at":"2026-07-05T06:51: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":"6c29b39034942b4aa25233353a1dc7461d877fa7dbe144fdd06b38d70ab324ac","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2023-09-18T21:40:08Z","title_canon_sha256":"8035201860835665b75c3088f2ab1ffab2e9431a627da38e75c95337d6eee31e"},"schema_version":"1.0","source":{"id":"2309.10171","kind":"arxiv","version":1}},"canonical_sha256":"153685c991eae9e2786d4744765bb74a789660d3cc44a8a9f042a36e1d1416f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"153685c991eae9e2786d4744765bb74a789660d3cc44a8a9f042a36e1d1416f5","first_computed_at":"2026-07-05T06:51:51.838105Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:51:51.838105Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C9fUNy4HmsY/wHwl2Fey0PDyxNL+ikKdA6eMZjOgwH6m5z+KEQLWVA57KJC+UM4hc3sO12+U6wuzG761HtuGBg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:51:51.838560Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.10171","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:835142c5a58eaebb2511b675798a572d542741200dc2be5b4e99b8d850b23222","sha256:f4d8db166503085679334cda670f0aeb46858f50e45d5293f5f10db0d1e3face"],"state_sha256":"b8156686c709e6df1633fd44d6a56a6cac4bdfd76b5426ba9adeed82ba5663ac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DTSlzrKm+TJyZJ0m+h6GasNZ0v0GR6b/kl79+71QfbqyPH0SDlgrimE8RN5tCsyz8CaTOtqxkNvKKggTdO76CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T16:42:12.406426Z","bundle_sha256":"8ef110df532f56b652f3fcf3c9bc32378b83fe82fb364dd3b65904e67b3e22ff"}}