{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:FEENK34NPIWBNBCJDLPQLW6UOB","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":"59797a496097e6592a3a22a830660940139770f4834738552f44c99f1f2730b6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-08-16T05:09:57Z","title_canon_sha256":"977df00c7ac41124c8809d8529e19583c351f969f510374a3c5af312fa83b4b7"},"schema_version":"1.0","source":{"id":"1908.05848","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.05848","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"arxiv_version","alias_value":"1908.05848v2","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.05848","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"pith_short_12","alias_value":"FEENK34NPIWB","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"pith_short_16","alias_value":"FEENK34NPIWBNBCJ","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"pith_short_8","alias_value":"FEENK34N","created_at":"2026-07-05T01:24:15Z"}],"graph_snapshots":[{"event_id":"sha256:501b1cf46c25202a58f51e8a417be2a8342e0cb56ac75a983f83c23bb24d0b6d","target":"graph","created_at":"2026-07-05T01:24:15Z","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.05848/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent systems for converting natural language descriptions into regular expressions (regexes) have achieved some success, but typically deal with short, formulaic text and can only produce simple regexes. Realworld regexes are complex, hard to describe with brief sentences, and sometimes require examples to fully convey the user's intent. We present a framework for regex synthesis in this setting where both natural language (NL) and examples are available. First, a semantic parser (either grammar-based or neural) maps the natural language description into an intermediate sketch, which is an i","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.CL","submitted_at":"2019-08-16T05:09:57Z","title":"Sketch-Driven Regular Expression Generation from Natural Language and Examples"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.05848","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:b2f8b581a2ab6b7f467a38d389ec62adaabd5587b04c7d64aa5979338a144f18","target":"record","created_at":"2026-07-05T01:24:15Z","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":"59797a496097e6592a3a22a830660940139770f4834738552f44c99f1f2730b6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-08-16T05:09:57Z","title_canon_sha256":"977df00c7ac41124c8809d8529e19583c351f969f510374a3c5af312fa83b4b7"},"schema_version":"1.0","source":{"id":"1908.05848","kind":"arxiv","version":2}},"canonical_sha256":"2908d56f8d7a2c1684491adf05dbd47071716e6c5aad727d82c3e633c5e411be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2908d56f8d7a2c1684491adf05dbd47071716e6c5aad727d82c3e633c5e411be","first_computed_at":"2026-07-05T01:24:15.106228Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:24:15.106228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ayvyf/yZwt++XiQ3fd6WB1gFp4nek2+cMV622yptgAfCc6Vyl2UnQnCZa5vAkByzEOLUksUZcR5g3Dnb6muJAg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:24:15.106714Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.05848","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b2f8b581a2ab6b7f467a38d389ec62adaabd5587b04c7d64aa5979338a144f18","sha256:501b1cf46c25202a58f51e8a417be2a8342e0cb56ac75a983f83c23bb24d0b6d"],"state_sha256":"f16f23966a8040846a8c6a19fcdc3f335d7f9d386b4a3daae8d02d6ac41c9dcb"}