{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:NNCWAWWF2DUF4MWHO5JFSVEUGV","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":"641032c1f8dff1660c61041a54899e07c8c7dcbc58978ea0e1016fa68f5066e9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-02-18T17:00:40Z","title_canon_sha256":"cd0c0babc479ee790ebcde09cadeabde37140f69a2e24a293a3024712dcaa8c6"},"schema_version":"1.0","source":{"id":"2102.09479","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.09479","created_at":"2026-07-05T03:33:04Z"},{"alias_kind":"arxiv_version","alias_value":"2102.09479v2","created_at":"2026-07-05T03:33:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.09479","created_at":"2026-07-05T03:33:04Z"},{"alias_kind":"pith_short_12","alias_value":"NNCWAWWF2DUF","created_at":"2026-07-05T03:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"NNCWAWWF2DUF4MWH","created_at":"2026-07-05T03:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"NNCWAWWF","created_at":"2026-07-05T03:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:f46fc0c9f733f6325070daeec55e353399408732e92b8f2c702782ae529e5d3d","target":"graph","created_at":"2026-07-05T03:33:04Z","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/2102.09479/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Most real world applications require dealing with stochasticity like sensor noise or predictive uncertainty, where formal specifications of desired behavior are inherently probabilistic. Despite the promise of formal verification in ensuring the reliability of neural networks, progress in the direction of probabilistic specifications has been limited. In this direction, we first introduce a general formulation of probabilistic specifications for neural networks, which captures both probabilistic networks (e.g., Bayesian neural networks, MC-Dropout networks) and uncertain inputs (distributions ","authors_text":"Jonathan Uesato, Krishnamurthy Dvijotham, Leonard Berrada, M. Pawan Kumar, Robert Stanforth, Rudy Bunel, Sumanth Dathathri, Sven Gowal","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-02-18T17:00:40Z","title":"Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.09479","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:c1d8b0fcbce1ea830d61e32a686f56d63deef69a6ff8ac2f55716b23593a58f0","target":"record","created_at":"2026-07-05T03:33:04Z","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":"641032c1f8dff1660c61041a54899e07c8c7dcbc58978ea0e1016fa68f5066e9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-02-18T17:00:40Z","title_canon_sha256":"cd0c0babc479ee790ebcde09cadeabde37140f69a2e24a293a3024712dcaa8c6"},"schema_version":"1.0","source":{"id":"2102.09479","kind":"arxiv","version":2}},"canonical_sha256":"6b45605ac5d0e85e32c77752595494355e2753620055b6252baae04c875b52d1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b45605ac5d0e85e32c77752595494355e2753620055b6252baae04c875b52d1","first_computed_at":"2026-07-05T03:33:04.283543Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:33:04.283543Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7OBFuHmQTWIWyc/RFF9xFVvAvz/jFkL0cRYv5Rh0J7RaCn/6bzSNR0J2Ws3eKq9zknR3sWPJzn7MdzLQ3YB6Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T03:33:04.284022Z","signed_message":"canonical_sha256_bytes"},"source_id":"2102.09479","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c1d8b0fcbce1ea830d61e32a686f56d63deef69a6ff8ac2f55716b23593a58f0","sha256:f46fc0c9f733f6325070daeec55e353399408732e92b8f2c702782ae529e5d3d"],"state_sha256":"8bee9871ebc182836827eea999959c887932d7161f9f2bc18d3e004c5c49003b"}