{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:XXNV5DJC7XZ6LOUTDLOVMVJGFZ","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":"8f50e690b97b66041b3510d90d691196c68c723239e94b48c47b876bc5495fc1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.CO","submitted_at":"2021-10-04T12:20:02Z","title_canon_sha256":"68b5a26b180c82a686ae2cedacaeb2d122a596e94ec9eb0b046f7e603f246d29"},"schema_version":"1.0","source":{"id":"2110.01360","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.01360","created_at":"2026-07-05T11:56:11Z"},{"alias_kind":"arxiv_version","alias_value":"2110.01360v3","created_at":"2026-07-05T11:56:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.01360","created_at":"2026-07-05T11:56:11Z"},{"alias_kind":"pith_short_12","alias_value":"XXNV5DJC7XZ6","created_at":"2026-07-05T11:56:11Z"},{"alias_kind":"pith_short_16","alias_value":"XXNV5DJC7XZ6LOUT","created_at":"2026-07-05T11:56:11Z"},{"alias_kind":"pith_short_8","alias_value":"XXNV5DJC","created_at":"2026-07-05T11:56:11Z"}],"graph_snapshots":[{"event_id":"sha256:cbca7325d1eac8445bb7a8b51b648291e253199329177c643c4c8543bd49a37c","target":"graph","created_at":"2026-07-05T11:56:11Z","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/2110.01360/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose an interdisciplinary framework that combines Bayesian predictive inference, a well-established tool in Machine Learning, with Formal Methods rooted in the computer science community. Bayesian predictive inference allows for coherently incorporating uncertainty about unknown quantities by making use of methods or models that produce predictive distributions, which in turn inform decision problems. By formalizing these decision problems into properties with the help of spatio-temporal logic, we can formulate and predict how likely such properties are to be satisfied in the future at a","authors_text":"Annalisa Cadonna, Ennio Visconti, Gregor Kastner, Laura Nenzi, Laura Vana","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.CO","submitted_at":"2021-10-04T12:20:02Z","title":"Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.01360","kind":"arxiv","version":3},"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:d3be4a49f3573b5517ceae2a1862d2c2754f0c1896fcfd252e50b71f27dbe60a","target":"record","created_at":"2026-07-05T11:56:11Z","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":"8f50e690b97b66041b3510d90d691196c68c723239e94b48c47b876bc5495fc1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.CO","submitted_at":"2021-10-04T12:20:02Z","title_canon_sha256":"68b5a26b180c82a686ae2cedacaeb2d122a596e94ec9eb0b046f7e603f246d29"},"schema_version":"1.0","source":{"id":"2110.01360","kind":"arxiv","version":3}},"canonical_sha256":"bddb5e8d22fdf3e5ba931add5655262e654bf6e78e107826f1fcc307216911fa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bddb5e8d22fdf3e5ba931add5655262e654bf6e78e107826f1fcc307216911fa","first_computed_at":"2026-07-05T11:56:11.841803Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:56:11.841803Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fVL9Ng5NzSp4iKNIq9wafB6dPEkHZXhqjuijbVMG73B/cE1erOMWOFkBOJ5M2oJagCgahTO/8cp/S20ZbeSPAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:56:11.842186Z","signed_message":"canonical_sha256_bytes"},"source_id":"2110.01360","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d3be4a49f3573b5517ceae2a1862d2c2754f0c1896fcfd252e50b71f27dbe60a","sha256:cbca7325d1eac8445bb7a8b51b648291e253199329177c643c4c8543bd49a37c"],"state_sha256":"d382816136c9e609b47d77eb81ff8758b1cf5a4fd2196b5b01dd7e85adde1849"}