{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:I4SVOUHDUK37GRPLZFSQUVIZMR","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":"65f924b574ac27c514dea3c6c67419d2bce1c0ee94aac32255f130be8e17e784","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-08-09T05:20:17Z","title_canon_sha256":"42196c4426e8a9979b36ce717e03025f79c2b578e29c9f967f4d86d03db08f02"},"schema_version":"1.0","source":{"id":"1908.03316","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.03316","created_at":"2026-07-05T00:49:37Z"},{"alias_kind":"arxiv_version","alias_value":"1908.03316v3","created_at":"2026-07-05T00:49:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.03316","created_at":"2026-07-05T00:49:37Z"},{"alias_kind":"pith_short_12","alias_value":"I4SVOUHDUK37","created_at":"2026-07-05T00:49:37Z"},{"alias_kind":"pith_short_16","alias_value":"I4SVOUHDUK37GRPL","created_at":"2026-07-05T00:49:37Z"},{"alias_kind":"pith_short_8","alias_value":"I4SVOUHD","created_at":"2026-07-05T00:49:37Z"}],"graph_snapshots":[{"event_id":"sha256:eab95eb3cd26b137cdbb0cebc369b132b1182b67ec8f48fb8a35f7b596f12406","target":"graph","created_at":"2026-07-05T00:49:37Z","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/1908.03316/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we propose a multi-modal synthesis technique for automatically constructing regular expressions (regexes) from a combination of examples and natural language. Using multiple modalities is useful in this context because natural language alone is often highly ambiguous, whereas examples in isolation are often not sufficient for conveying user intent. Our proposed technique first parses the English description into a so-called hierarchical sketch that guides our programming-by-example (PBE) engine. Since the hierarchical sketch captures crucial hints, the PBE engine can leverage th","authors_text":"Greg Durrett, Isil Dillig, Qiaochu Chen, Xinyu Wang, Xi Ye","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-08-09T05:20:17Z","title":"Multi-modal Synthesis of Regular Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.03316","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:4dc1e9940a94d8db9f4b6984bb4c7f391348eb20d2330de0571dc719dcca0c94","target":"record","created_at":"2026-07-05T00:49:37Z","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":"65f924b574ac27c514dea3c6c67419d2bce1c0ee94aac32255f130be8e17e784","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-08-09T05:20:17Z","title_canon_sha256":"42196c4426e8a9979b36ce717e03025f79c2b578e29c9f967f4d86d03db08f02"},"schema_version":"1.0","source":{"id":"1908.03316","kind":"arxiv","version":3}},"canonical_sha256":"47255750e3a2b7f345ebc9650a5519644a70141ddcadfe62a4ec9c63a8e62972","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"47255750e3a2b7f345ebc9650a5519644a70141ddcadfe62a4ec9c63a8e62972","first_computed_at":"2026-07-05T00:49:37.418272Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:49:37.418272Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"77Txt01MXEViHLWgfjAz8+S5QyMG50ttwj0UeMdl+4tlr26D20d+iCLTGqYTr1wLzXjnqzBkRdA+vciWAxxVAw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:49:37.418732Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.03316","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4dc1e9940a94d8db9f4b6984bb4c7f391348eb20d2330de0571dc719dcca0c94","sha256:eab95eb3cd26b137cdbb0cebc369b132b1182b67ec8f48fb8a35f7b596f12406"],"state_sha256":"b0568f90f4ff82bde523cf82cc35fca400b6aa1ae808e8372fe6264bb6acbb6b"}