{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:5U4BH2CJHUUXCCCTHZ4L6QLB3L","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":"e675b95639bcedadcb9d064c6d5ae33dc40658a0436df422cdfa6340be12869c","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-16T10:30:16Z","title_canon_sha256":"7a85df5bbf91c045750c93c58b8385d8f7c5e7234e8456609bbc0125d640bccc"},"schema_version":"1.0","source":{"id":"2506.13340","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.13340","created_at":"2026-07-05T11:22:09Z"},{"alias_kind":"arxiv_version","alias_value":"2506.13340v1","created_at":"2026-07-05T11:22:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.13340","created_at":"2026-07-05T11:22:09Z"},{"alias_kind":"pith_short_12","alias_value":"5U4BH2CJHUUX","created_at":"2026-07-05T11:22:09Z"},{"alias_kind":"pith_short_16","alias_value":"5U4BH2CJHUUXCCCT","created_at":"2026-07-05T11:22:09Z"},{"alias_kind":"pith_short_8","alias_value":"5U4BH2CJ","created_at":"2026-07-05T11:22:09Z"}],"graph_snapshots":[{"event_id":"sha256:931e5d2610185ecc5db1c6b958d6f0beada0467f50715e2da80b4e9ed8d63c4f","target":"graph","created_at":"2026-07-05T11:22:09Z","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/2506.13340/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Spiking Neural Networks (SNN) are models for \"realistic\" neuronal computation, which makes them somehow different in scope from \"ordinary\" deep-learning models widely used in AI platforms nowadays. SNNs focus on timed latency (and possibly probability) of neuronal reactive activation/response, more than numerical computation of filters. So, an SNN model must provide modeling constructs for elementary neural bundles and then for synaptic connections to assemble them into compound data flow network patterns. These elements are to be parametric patterns, with latency and probability values instan","authors_text":"Elisabetta De Maria, Robert de Simone, Zhen Yao","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-16T10:30:16Z","title":"Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.13340","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:86a982f75ab423df9cc8efacfd3e4d5f7850e2154e64c7839b5b90770efb3f27","target":"record","created_at":"2026-07-05T11:22:09Z","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":"e675b95639bcedadcb9d064c6d5ae33dc40658a0436df422cdfa6340be12869c","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-16T10:30:16Z","title_canon_sha256":"7a85df5bbf91c045750c93c58b8385d8f7c5e7234e8456609bbc0125d640bccc"},"schema_version":"1.0","source":{"id":"2506.13340","kind":"arxiv","version":1}},"canonical_sha256":"ed3813e8493d297108533e78bf4161dace1bd302e89394f2333ebfcac3124168","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ed3813e8493d297108533e78bf4161dace1bd302e89394f2333ebfcac3124168","first_computed_at":"2026-07-05T11:22:09.044157Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:22:09.044157Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VVOaDqzFgtDPEpBMfURNlUubdeNPx4PO6IGX6SpVvsyTyy36H3dJ1yqoTfr3qBNri6YVXWmDGzkoojn1NqQyDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:22:09.044597Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.13340","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:86a982f75ab423df9cc8efacfd3e4d5f7850e2154e64c7839b5b90770efb3f27","sha256:931e5d2610185ecc5db1c6b958d6f0beada0467f50715e2da80b4e9ed8d63c4f"],"state_sha256":"ea0aa0a48181410aee47131c15d3fc106f2f63dfae3eb66fa5e3eaba5624b205"}