{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:CFAYCKLZKRYRT3KMICFRCPPCU5","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":"856f31c0a4f740ff83037031cb55583e42d6be50d0261f29f5c2f80de6c5bf9b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2018-10-10T21:45:36Z","title_canon_sha256":"80065a073036c41eacc920bce22280bb512466c189d9d9d7156b1c3162db593e"},"schema_version":"1.0","source":{"id":"1810.04756","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.04756","created_at":"2026-05-18T00:03:35Z"},{"alias_kind":"arxiv_version","alias_value":"1810.04756v1","created_at":"2026-05-18T00:03:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.04756","created_at":"2026-05-18T00:03:35Z"},{"alias_kind":"pith_short_12","alias_value":"CFAYCKLZKRYR","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CFAYCKLZKRYRT3KM","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CFAYCKLZ","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:9a54a3c79a7ced294b087935adcc07fa3faa4420fe358c6aa7a8da3bd8c84f03","target":"graph","created_at":"2026-05-18T00:03:35Z","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":"Stochastic computing (SC) is an emerging computing technique which offers higher computational density, and lower power over binary-encoded (BE) computation. Unlike BE computation, SC encodes values as probabilistic bitstreams which makes designing new circuits unintuitive. Existing techniques for synthesizing SC circuits are limited to specific classes of functions such as polynomial evaluation or constant scaling. In this paper, we propose using stochastic synthesis, which is originally a program synthesis technique, to automate the task of synthesizing new SC circuits. Our results show stoc","authors_text":"Armin Alaghi, Luis Ceze, Mark Oskin, Vincent T. Lee","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2018-10-10T21:45:36Z","title":"Stochastic Synthesis for Stochastic Computing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.04756","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:af8a570ea63f099ddd6226e2fe1682ce4297a6f29abd3bc8a032a3693775ab7e","target":"record","created_at":"2026-05-18T00:03:35Z","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":"856f31c0a4f740ff83037031cb55583e42d6be50d0261f29f5c2f80de6c5bf9b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2018-10-10T21:45:36Z","title_canon_sha256":"80065a073036c41eacc920bce22280bb512466c189d9d9d7156b1c3162db593e"},"schema_version":"1.0","source":{"id":"1810.04756","kind":"arxiv","version":1}},"canonical_sha256":"1141812979547119ed4c408b113de2a76d7a90270d67728f366e4fd0ff8f9998","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1141812979547119ed4c408b113de2a76d7a90270d67728f366e4fd0ff8f9998","first_computed_at":"2026-05-18T00:03:35.989211Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:03:35.989211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pav7UjH2QzuySC5nJN+Ko3XigkYy04lx6xugFixDOvLqcOdMjAEP6JuUKfkUKwXituV+g4yjUK2j3wcnxLwYCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:03:35.989718Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.04756","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af8a570ea63f099ddd6226e2fe1682ce4297a6f29abd3bc8a032a3693775ab7e","sha256:9a54a3c79a7ced294b087935adcc07fa3faa4420fe358c6aa7a8da3bd8c84f03"],"state_sha256":"b68622f3cf7443e8937343440aa09dee5fbc59b6ef787622b2bcad7cc48efb94"}