{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:BBIUOTUAMRTNX2JT7KXJC5EWJM","short_pith_number":"pith:BBIUOTUA","canonical_record":{"source":{"id":"2410.13262","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-10-17T06:33:16Z","cross_cats_sorted":[],"title_canon_sha256":"0a834cbad831dff7772d7db2680ea04367e250e18ed879eeedecc4874610d476","abstract_canon_sha256":"6f5ef218dba8419b22d5042fab6211b76145d272119eada6ce594307f964b63e"},"schema_version":"1.0"},"canonical_sha256":"0851474e806466dbe933faae9174964b1fc7f86b4d5a4639d9779791b9615a53","source":{"kind":"arxiv","id":"2410.13262","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.13262","created_at":"2026-07-05T10:47:31Z"},{"alias_kind":"arxiv_version","alias_value":"2410.13262v2","created_at":"2026-07-05T10:47:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.13262","created_at":"2026-07-05T10:47:31Z"},{"alias_kind":"pith_short_12","alias_value":"BBIUOTUAMRTN","created_at":"2026-07-05T10:47:31Z"},{"alias_kind":"pith_short_16","alias_value":"BBIUOTUAMRTNX2JT","created_at":"2026-07-05T10:47:31Z"},{"alias_kind":"pith_short_8","alias_value":"BBIUOTUA","created_at":"2026-07-05T10:47:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:BBIUOTUAMRTNX2JT7KXJC5EWJM","target":"record","payload":{"canonical_record":{"source":{"id":"2410.13262","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-10-17T06:33:16Z","cross_cats_sorted":[],"title_canon_sha256":"0a834cbad831dff7772d7db2680ea04367e250e18ed879eeedecc4874610d476","abstract_canon_sha256":"6f5ef218dba8419b22d5042fab6211b76145d272119eada6ce594307f964b63e"},"schema_version":"1.0"},"canonical_sha256":"0851474e806466dbe933faae9174964b1fc7f86b4d5a4639d9779791b9615a53","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:47:31.869427Z","signature_b64":"65Z2dZQS/KDy/UBggb+rHxlIrcuA4V+ouTtc6SFpLcd85rbP9nxMxNiWAXukugXqgxFgQpddL6EU68tXylVdAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0851474e806466dbe933faae9174964b1fc7f86b4d5a4639d9779791b9615a53","last_reissued_at":"2026-07-05T10:47:31.868938Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:47:31.868938Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.13262","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:47:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ocqrXGgki91z9d+tO+icuRfJwYHLewgdTipQc/SlfRRrReo5xTSxPziVvGBBv9KTJV8YCDlplAGhNT45nTCnDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T17:29:11.847985Z"},"content_sha256":"288674c6e33f14208060dfc9f545c68f4a4ba49c65768e0693957a86c45cd689","schema_version":"1.0","event_id":"sha256:288674c6e33f14208060dfc9f545c68f4a4ba49c65768e0693957a86c45cd689"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:BBIUOTUAMRTNX2JT7KXJC5EWJM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Membership Testing for Semantic Regular Expressions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Alexis Le Glaunec, Konstantinos Mamouras, Matin Amini, Mukund Raghothaman, Yifei Huang","submitted_at":"2024-10-17T06:33:16Z","abstract_excerpt":"SMORE (Chen et al., 2023) recently proposed the concept of semantic regular expressions that extend the classical formalism with a primitive to query external oracles such as databases and large language models (LLMs). Such patterns can be used to identify lines of text containing references to semantic concepts such as cities, celebrities, political entities, etc. The focus in their paper was on automatically synthesizing semantic regular expressions from positive and negative examples. In this paper, we study the membership testing problem:\n  First, We present a two-pass NFA-based algorithm "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.13262","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/2410.13262/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:47:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qrgWTmv0Cw8vHXypG7Px3pExSOGoCZrLpbCJeDN1XzAFY1mse4F6T6OZhg769IfFYNuXK+gPidaQphl/NJfPCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T17:29:11.848362Z"},"content_sha256":"d131b142d650a1a370deffe2cc9a5f31c70d8f7f0abd6f5beacb3d073747688f","schema_version":"1.0","event_id":"sha256:d131b142d650a1a370deffe2cc9a5f31c70d8f7f0abd6f5beacb3d073747688f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BBIUOTUAMRTNX2JT7KXJC5EWJM/bundle.json","state_url":"https://pith.science/pith/BBIUOTUAMRTNX2JT7KXJC5EWJM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BBIUOTUAMRTNX2JT7KXJC5EWJM/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-10T17:29:11Z","links":{"resolver":"https://pith.science/pith/BBIUOTUAMRTNX2JT7KXJC5EWJM","bundle":"https://pith.science/pith/BBIUOTUAMRTNX2JT7KXJC5EWJM/bundle.json","state":"https://pith.science/pith/BBIUOTUAMRTNX2JT7KXJC5EWJM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BBIUOTUAMRTNX2JT7KXJC5EWJM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:BBIUOTUAMRTNX2JT7KXJC5EWJM","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":"6f5ef218dba8419b22d5042fab6211b76145d272119eada6ce594307f964b63e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-10-17T06:33:16Z","title_canon_sha256":"0a834cbad831dff7772d7db2680ea04367e250e18ed879eeedecc4874610d476"},"schema_version":"1.0","source":{"id":"2410.13262","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.13262","created_at":"2026-07-05T10:47:31Z"},{"alias_kind":"arxiv_version","alias_value":"2410.13262v2","created_at":"2026-07-05T10:47:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.13262","created_at":"2026-07-05T10:47:31Z"},{"alias_kind":"pith_short_12","alias_value":"BBIUOTUAMRTN","created_at":"2026-07-05T10:47:31Z"},{"alias_kind":"pith_short_16","alias_value":"BBIUOTUAMRTNX2JT","created_at":"2026-07-05T10:47:31Z"},{"alias_kind":"pith_short_8","alias_value":"BBIUOTUA","created_at":"2026-07-05T10:47:31Z"}],"graph_snapshots":[{"event_id":"sha256:d131b142d650a1a370deffe2cc9a5f31c70d8f7f0abd6f5beacb3d073747688f","target":"graph","created_at":"2026-07-05T10:47:31Z","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/2410.13262/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"SMORE (Chen et al., 2023) recently proposed the concept of semantic regular expressions that extend the classical formalism with a primitive to query external oracles such as databases and large language models (LLMs). Such patterns can be used to identify lines of text containing references to semantic concepts such as cities, celebrities, political entities, etc. The focus in their paper was on automatically synthesizing semantic regular expressions from positive and negative examples. In this paper, we study the membership testing problem:\n  First, We present a two-pass NFA-based algorithm ","authors_text":"Alexis Le Glaunec, Konstantinos Mamouras, Matin Amini, Mukund Raghothaman, Yifei Huang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-10-17T06:33:16Z","title":"Membership Testing for Semantic Regular Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.13262","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:288674c6e33f14208060dfc9f545c68f4a4ba49c65768e0693957a86c45cd689","target":"record","created_at":"2026-07-05T10:47:31Z","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":"6f5ef218dba8419b22d5042fab6211b76145d272119eada6ce594307f964b63e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-10-17T06:33:16Z","title_canon_sha256":"0a834cbad831dff7772d7db2680ea04367e250e18ed879eeedecc4874610d476"},"schema_version":"1.0","source":{"id":"2410.13262","kind":"arxiv","version":2}},"canonical_sha256":"0851474e806466dbe933faae9174964b1fc7f86b4d5a4639d9779791b9615a53","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0851474e806466dbe933faae9174964b1fc7f86b4d5a4639d9779791b9615a53","first_computed_at":"2026-07-05T10:47:31.868938Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:47:31.868938Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"65Z2dZQS/KDy/UBggb+rHxlIrcuA4V+ouTtc6SFpLcd85rbP9nxMxNiWAXukugXqgxFgQpddL6EU68tXylVdAw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:47:31.869427Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.13262","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:288674c6e33f14208060dfc9f545c68f4a4ba49c65768e0693957a86c45cd689","sha256:d131b142d650a1a370deffe2cc9a5f31c70d8f7f0abd6f5beacb3d073747688f"],"state_sha256":"471681ba98d9136cb6bf6de7ee88591ec62daafba7b6a656f50bcbbffcd792bd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8DIS+nNYi38AQ7ac69Bb+dft90HiPOg/fgcy+j26PqccJqv468vpBfoXURSbukAupOg3iLIYYtB54aXu4qKOCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T17:29:11.850617Z","bundle_sha256":"b60fcc4161cbc158b8f7be2b08c8a6f853fde10e418fb55b748b504115681b40"}}