{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:VPHKLCG77WAF2YVPREBNHVXB3J","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":"b8c379e72a51b7d4f9747b486ccc3597b3ef1acbec813000a66244f7df1eaf77","cross_cats_sorted":["cs.FL","cs.SE","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-18T10:27:04Z","title_canon_sha256":"3c0b19bfaf6ab65f0706f04e95fd7a3eddb98d1889111d1a718b60e431da66d3"},"schema_version":"1.0","source":{"id":"1407.4937","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.4937","created_at":"2026-05-18T02:47:22Z"},{"alias_kind":"arxiv_version","alias_value":"1407.4937v1","created_at":"2026-05-18T02:47:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.4937","created_at":"2026-05-18T02:47:22Z"},{"alias_kind":"pith_short_12","alias_value":"VPHKLCG77WAF","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VPHKLCG77WAF2YVP","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VPHKLCG7","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:d30444931b9b0f87cb2341d954961a3ccf83378c3a7f23e2d6214ed55b2cde71","target":"graph","created_at":"2026-05-18T02:47:22Z","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"},"paper":{"abstract_excerpt":"The idea of synthesis, i.e., the process of automatically computing implementations from their specifications, has recently gained a lot of momentum in the contexts of software engineering and reactive system design. While it is widely believed that, due to complexity/undecidability issues, synthesis cannot completely replace manual engineering, it can assist the process of designing the intricate pieces of code that most programmers find challenging, or help with orchestrating tasks in reactive environments. The SYNT workshop aims to bring together researchers interested in synthesis to discu","authors_text":"Krishnendu Chatterjee (IST Austria), R\\\"udiger Ehlers (University of Bremen), Susmit Jha (Intel Strategic CAD Lab)","cross_cats":["cs.FL","cs.SE","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-18T10:27:04Z","title":"Proceedings 3rd Workshop on Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.4937","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:dd6548fb660cb36bfa5c8608c9bb5c911fb99746f038c6b650126cf5fc74bb9d","target":"record","created_at":"2026-05-18T02:47:22Z","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":"b8c379e72a51b7d4f9747b486ccc3597b3ef1acbec813000a66244f7df1eaf77","cross_cats_sorted":["cs.FL","cs.SE","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-18T10:27:04Z","title_canon_sha256":"3c0b19bfaf6ab65f0706f04e95fd7a3eddb98d1889111d1a718b60e431da66d3"},"schema_version":"1.0","source":{"id":"1407.4937","kind":"arxiv","version":1}},"canonical_sha256":"abcea588dffd805d62af8902d3d6e1da6a0d1259aa9eb12024a7611619387feb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"abcea588dffd805d62af8902d3d6e1da6a0d1259aa9eb12024a7611619387feb","first_computed_at":"2026-05-18T02:47:22.309339Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:47:22.309339Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/G42kbuGdqqpO+3B/PEG7fE1CknsbKsBLhsFoTsJ+LxBZJg0q0WXU6DCpWDbiRrx7swHt+ydjEa8prL4YUzOBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:47:22.309949Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.4937","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd6548fb660cb36bfa5c8608c9bb5c911fb99746f038c6b650126cf5fc74bb9d","sha256:d30444931b9b0f87cb2341d954961a3ccf83378c3a7f23e2d6214ed55b2cde71"],"state_sha256":"8bfb525a81649d604b854e75274d811525411dc2b019fd83964ccc1f9724eafd"}