{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:S4B6QMNMDN6D2XSZC2BERMUKQF","short_pith_number":"pith:S4B6QMNM","canonical_record":{"source":{"id":"1906.10073","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-24T16:51:34Z","cross_cats_sorted":["stat.AP"],"title_canon_sha256":"ade940567c730880321ea3ad1ae4811debc350d24b544d9dac0ee3449344b15e","abstract_canon_sha256":"bc082fa59b5c74617be3b69aed62bfd6802afae55e80a9c2ac58caca19ae1745"},"schema_version":"1.0"},"canonical_sha256":"9703e831ac1b7c3d5e59168248b28a814ca3635aa64c7de0b2a6a4207eac970e","source":{"kind":"arxiv","id":"1906.10073","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.10073","created_at":"2026-05-17T23:42:35Z"},{"alias_kind":"arxiv_version","alias_value":"1906.10073v1","created_at":"2026-05-17T23:42:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.10073","created_at":"2026-05-17T23:42:35Z"},{"alias_kind":"pith_short_12","alias_value":"S4B6QMNMDN6D","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"S4B6QMNMDN6D2XSZ","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"S4B6QMNM","created_at":"2026-05-18T12:33:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:S4B6QMNMDN6D2XSZC2BERMUKQF","target":"record","payload":{"canonical_record":{"source":{"id":"1906.10073","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-24T16:51:34Z","cross_cats_sorted":["stat.AP"],"title_canon_sha256":"ade940567c730880321ea3ad1ae4811debc350d24b544d9dac0ee3449344b15e","abstract_canon_sha256":"bc082fa59b5c74617be3b69aed62bfd6802afae55e80a9c2ac58caca19ae1745"},"schema_version":"1.0"},"canonical_sha256":"9703e831ac1b7c3d5e59168248b28a814ca3635aa64c7de0b2a6a4207eac970e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:35.544801Z","signature_b64":"D6dx847MrjM+w+gZYlgGQpoJyTq9pvo+9P44DYyaccwTME9Fni5k7rjkH2iCKlBB111fZFfo8NinqY6EvYhVBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9703e831ac1b7c3d5e59168248b28a814ca3635aa64c7de0b2a6a4207eac970e","last_reissued_at":"2026-05-17T23:42:35.544076Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:35.544076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.10073","source_version":1,"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-05-17T23:42:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GqOxULzuv0mW+w4pDsQ+H6rwL3e+MsqmjMRHpu27k4ERLQCH8XampQ6rpj7jzoTEZWJ3O99qcNwr0dgp57o7CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T15:07:48.442065Z"},"content_sha256":"4a66d03fc6451f2517ab9813fdb843b18dff3b31bb1081199d311e7fab5615b2","schema_version":"1.0","event_id":"sha256:4a66d03fc6451f2517ab9813fdb843b18dff3b31bb1081199d311e7fab5615b2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:S4B6QMNMDN6D2XSZC2BERMUKQF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.AP"],"primary_cat":"cs.LO","authors_text":"Josephine Lamp, Laura Nenzi, Lu Feng, Marc Breton, Simone Silvetti","submitted_at":"2019-06-24T16:51:34Z","abstract_excerpt":"Type I Diabetes (T1D) is a chronic disease in which the body's ability to synthesize insulin is destroyed. It can be difficult for patients to manage their T1D, as they must control a variety of behavioral factors that affect glycemic control outcomes. In this paper, we explore T1D patient behaviors using a Signal Temporal Logic (STL) based learning approach. STL formulas learned from real patient data characterize behavior patterns that may result in varying glycemic control. Such logical characterizations can provide feedback to clinicians and their patients about behavioral changes that pat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.10073","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-17T23:42:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ay3y848RSMOOiYzCosr0iHRD13qChBuSOXy5ibzXQvHRuVk6fRzydXfFW/Q29TPB52pozr/IpQ6y/FmJHLQrCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T15:07:48.442793Z"},"content_sha256":"7482e30fe014bcd7921adf5c7a8b758afed5cb42c0bdf7ef93ab8ed3d50d244c","schema_version":"1.0","event_id":"sha256:7482e30fe014bcd7921adf5c7a8b758afed5cb42c0bdf7ef93ab8ed3d50d244c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S4B6QMNMDN6D2XSZC2BERMUKQF/bundle.json","state_url":"https://pith.science/pith/S4B6QMNMDN6D2XSZC2BERMUKQF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S4B6QMNMDN6D2XSZC2BERMUKQF/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-06-06T15:07:48Z","links":{"resolver":"https://pith.science/pith/S4B6QMNMDN6D2XSZC2BERMUKQF","bundle":"https://pith.science/pith/S4B6QMNMDN6D2XSZC2BERMUKQF/bundle.json","state":"https://pith.science/pith/S4B6QMNMDN6D2XSZC2BERMUKQF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S4B6QMNMDN6D2XSZC2BERMUKQF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:S4B6QMNMDN6D2XSZC2BERMUKQF","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":"bc082fa59b5c74617be3b69aed62bfd6802afae55e80a9c2ac58caca19ae1745","cross_cats_sorted":["stat.AP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-24T16:51:34Z","title_canon_sha256":"ade940567c730880321ea3ad1ae4811debc350d24b544d9dac0ee3449344b15e"},"schema_version":"1.0","source":{"id":"1906.10073","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.10073","created_at":"2026-05-17T23:42:35Z"},{"alias_kind":"arxiv_version","alias_value":"1906.10073v1","created_at":"2026-05-17T23:42:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.10073","created_at":"2026-05-17T23:42:35Z"},{"alias_kind":"pith_short_12","alias_value":"S4B6QMNMDN6D","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"S4B6QMNMDN6D2XSZ","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"S4B6QMNM","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:7482e30fe014bcd7921adf5c7a8b758afed5cb42c0bdf7ef93ab8ed3d50d244c","target":"graph","created_at":"2026-05-17T23:42: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":"Type I Diabetes (T1D) is a chronic disease in which the body's ability to synthesize insulin is destroyed. It can be difficult for patients to manage their T1D, as they must control a variety of behavioral factors that affect glycemic control outcomes. In this paper, we explore T1D patient behaviors using a Signal Temporal Logic (STL) based learning approach. STL formulas learned from real patient data characterize behavior patterns that may result in varying glycemic control. Such logical characterizations can provide feedback to clinicians and their patients about behavioral changes that pat","authors_text":"Josephine Lamp, Laura Nenzi, Lu Feng, Marc Breton, Simone Silvetti","cross_cats":["stat.AP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-24T16:51:34Z","title":"A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.10073","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:4a66d03fc6451f2517ab9813fdb843b18dff3b31bb1081199d311e7fab5615b2","target":"record","created_at":"2026-05-17T23:42: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":"bc082fa59b5c74617be3b69aed62bfd6802afae55e80a9c2ac58caca19ae1745","cross_cats_sorted":["stat.AP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-24T16:51:34Z","title_canon_sha256":"ade940567c730880321ea3ad1ae4811debc350d24b544d9dac0ee3449344b15e"},"schema_version":"1.0","source":{"id":"1906.10073","kind":"arxiv","version":1}},"canonical_sha256":"9703e831ac1b7c3d5e59168248b28a814ca3635aa64c7de0b2a6a4207eac970e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9703e831ac1b7c3d5e59168248b28a814ca3635aa64c7de0b2a6a4207eac970e","first_computed_at":"2026-05-17T23:42:35.544076Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:35.544076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D6dx847MrjM+w+gZYlgGQpoJyTq9pvo+9P44DYyaccwTME9Fni5k7rjkH2iCKlBB111fZFfo8NinqY6EvYhVBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:35.544801Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.10073","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a66d03fc6451f2517ab9813fdb843b18dff3b31bb1081199d311e7fab5615b2","sha256:7482e30fe014bcd7921adf5c7a8b758afed5cb42c0bdf7ef93ab8ed3d50d244c"],"state_sha256":"99651e562602896b27bf1cdaa7bca4c941a09d3fae48ef9707af397b667ff56c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ap//OZlzBIuRh0RwdBHyMVre1+t0Yp8zW+VS2dcW8tNg9x0ROshnxfQMkMXt2tataL1oPhOeO3R9d9HQrIFEDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T15:07:48.446955Z","bundle_sha256":"c78f3276f3bcdc5ac1c48dc17ba99512ed17697ea213705ce30c297738bcafd7"}}