{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:XXNV5DJC7XZ6LOUTDLOVMVJGFZ","short_pith_number":"pith:XXNV5DJC","canonical_record":{"source":{"id":"2110.01360","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.CO","submitted_at":"2021-10-04T12:20:02Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"68b5a26b180c82a686ae2cedacaeb2d122a596e94ec9eb0b046f7e603f246d29","abstract_canon_sha256":"8f50e690b97b66041b3510d90d691196c68c723239e94b48c47b876bc5495fc1"},"schema_version":"1.0"},"canonical_sha256":"bddb5e8d22fdf3e5ba931add5655262e654bf6e78e107826f1fcc307216911fa","source":{"kind":"arxiv","id":"2110.01360","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:XXNV5DJC7XZ6LOUTDLOVMVJGFZ","target":"record","payload":{"canonical_record":{"source":{"id":"2110.01360","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.CO","submitted_at":"2021-10-04T12:20:02Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"68b5a26b180c82a686ae2cedacaeb2d122a596e94ec9eb0b046f7e603f246d29","abstract_canon_sha256":"8f50e690b97b66041b3510d90d691196c68c723239e94b48c47b876bc5495fc1"},"schema_version":"1.0"},"canonical_sha256":"bddb5e8d22fdf3e5ba931add5655262e654bf6e78e107826f1fcc307216911fa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:56:11.842186Z","signature_b64":"fVL9Ng5NzSp4iKNIq9wafB6dPEkHZXhqjuijbVMG73B/cE1erOMWOFkBOJ5M2oJagCgahTO/8cp/S20ZbeSPAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bddb5e8d22fdf3e5ba931add5655262e654bf6e78e107826f1fcc307216911fa","last_reissued_at":"2026-07-05T11:56:11.841803Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:56:11.841803Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2110.01360","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:56:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fLZfhC8Dz7NZJzYXuhkmDigMS6/31I8fMNE5gRitPbHOjbO0JPjoYhZmgEtIZWz+L3QwaIF/edcgbfT4dJo2Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T17:25:41.184652Z"},"content_sha256":"d3be4a49f3573b5517ceae2a1862d2c2754f0c1896fcfd252e50b71f27dbe60a","schema_version":"1.0","event_id":"sha256:d3be4a49f3573b5517ceae2a1862d2c2754f0c1896fcfd252e50b71f27dbe60a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:XXNV5DJC7XZ6LOUTDLOVMVJGFZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"stat.CO","authors_text":"Annalisa Cadonna, Ennio Visconti, Gregor Kastner, Laura Nenzi, Laura Vana","submitted_at":"2021-10-04T12:20:02Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.01360","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2110.01360/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:56:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xA1/bo2c8k92zuq3wudoC9F5LH1+L6Ty2goKQHIG9NZYOWzkJJco0iYmGZkb9c+Iki0WjqcOG0XN2Ck+HaaxCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T17:25:41.185291Z"},"content_sha256":"cbca7325d1eac8445bb7a8b51b648291e253199329177c643c4c8543bd49a37c","schema_version":"1.0","event_id":"sha256:cbca7325d1eac8445bb7a8b51b648291e253199329177c643c4c8543bd49a37c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XXNV5DJC7XZ6LOUTDLOVMVJGFZ/bundle.json","state_url":"https://pith.science/pith/XXNV5DJC7XZ6LOUTDLOVMVJGFZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XXNV5DJC7XZ6LOUTDLOVMVJGFZ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-25T17:25:41Z","links":{"resolver":"https://pith.science/pith/XXNV5DJC7XZ6LOUTDLOVMVJGFZ","bundle":"https://pith.science/pith/XXNV5DJC7XZ6LOUTDLOVMVJGFZ/bundle.json","state":"https://pith.science/pith/XXNV5DJC7XZ6LOUTDLOVMVJGFZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XXNV5DJC7XZ6LOUTDLOVMVJGFZ/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hwY7QdO+XW352b2eRwzOlhwYl3gnuDjqI1BfxoE1lPmbYpqcZx2cghEHucMejbMEjCA1qZesLLQklGtJRn3lCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-25T17:25:41.188333Z","bundle_sha256":"965d6a5512d29b32b4fbb891ffeeb711fd517b5217fb7af714d042be4f46552a"}}