{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:Q4ZMSL2N7GRRCBTZ57OTFQGF3C","short_pith_number":"pith:Q4ZMSL2N","canonical_record":{"source":{"id":"1612.07823","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-12-22T21:58:32Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"13badcf6f586a6365d2ef2edc7e3139cc888c282043e969a90a7770df79509dd","abstract_canon_sha256":"d18d6c557aa1ef9bdfc0c08dec10af6d78f72c42acc6020ae540afd7643e3416"},"schema_version":"1.0"},"canonical_sha256":"8732c92f4df9a3110679efdd32c0c5d8878231d501df6e454cdb2e82dc5cc533","source":{"kind":"arxiv","id":"1612.07823","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.07823","created_at":"2026-05-18T00:44:23Z"},{"alias_kind":"arxiv_version","alias_value":"1612.07823v3","created_at":"2026-05-18T00:44:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.07823","created_at":"2026-05-18T00:44:23Z"},{"alias_kind":"pith_short_12","alias_value":"Q4ZMSL2N7GRR","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"Q4ZMSL2N7GRRCBTZ","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"Q4ZMSL2N","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:Q4ZMSL2N7GRRCBTZ57OTFQGF3C","target":"record","payload":{"canonical_record":{"source":{"id":"1612.07823","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-12-22T21:58:32Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"13badcf6f586a6365d2ef2edc7e3139cc888c282043e969a90a7770df79509dd","abstract_canon_sha256":"d18d6c557aa1ef9bdfc0c08dec10af6d78f72c42acc6020ae540afd7643e3416"},"schema_version":"1.0"},"canonical_sha256":"8732c92f4df9a3110679efdd32c0c5d8878231d501df6e454cdb2e82dc5cc533","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:23.933275Z","signature_b64":"i84M3rKADRhd+2LwN4dUefIxDvuiBdBrSKtFvJpxE/ap3x9SrbJQyT/yvC4sTPws+kCr3DNHyrpLyHFvIGV4BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8732c92f4df9a3110679efdd32c0c5d8878231d501df6e454cdb2e82dc5cc533","last_reissued_at":"2026-05-18T00:44:23.932890Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:23.932890Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.07823","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-05-18T00:44:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eWgKU4kg8LQA1/CxR/eSdrdlJLuw2wbW18If0DlqC1FRp5/zbXmRJ+8zqLtFChIgrVm5C1gZvGH6SMwX9e1UDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T08:49:51.874608Z"},"content_sha256":"8b3f064400d4f65cc681c8545a390f1c94bc83216a1c645a52f7a54d65bf98e8","schema_version":"1.0","event_id":"sha256:8b3f064400d4f65cc681c8545a390f1c94bc83216a1c645a52f7a54d65bf98e8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:Q4ZMSL2N7GRRCBTZ57OTFQGF3C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic-based Clustering and Learning for Time-Series Data","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.LG","authors_text":"Jyotirmoy V. Deshmukh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia, Xiaoqing Jin","submitted_at":"2016-12-22T21:58:32Z","abstract_excerpt":"To effectively analyze and design cyberphysical systems (CPS), designers today have to combat the data deluge problem, i.e., the burden of processing intractably large amounts of data produced by complex models and experiments. In this work, we utilize monotonic Parametric Signal Temporal Logic (PSTL) to design features for unsupervised classification of time series data. This enables using off-the-shelf machine learning tools to automatically cluster similar traces with respect to a given PSTL formula. We demonstrate how this technique produces interpretable formulas that are amenable to anal"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.07823","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":""},"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-18T00:44:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jW4Rtpc5Okwu+qOxGfys0bRqQ4wu984QR/9QTeFNP5pAPhRc4gljbUkPVCpJU9BE0noouckkJNk+HVjgVGR7DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T08:49:51.875241Z"},"content_sha256":"1ad17c0f4ecd74a610d7c036d296b155952b0e4cb6797794a5edd1a3b4409d56","schema_version":"1.0","event_id":"sha256:1ad17c0f4ecd74a610d7c036d296b155952b0e4cb6797794a5edd1a3b4409d56"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q4ZMSL2N7GRRCBTZ57OTFQGF3C/bundle.json","state_url":"https://pith.science/pith/Q4ZMSL2N7GRRCBTZ57OTFQGF3C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q4ZMSL2N7GRRCBTZ57OTFQGF3C/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-05-27T08:49:51Z","links":{"resolver":"https://pith.science/pith/Q4ZMSL2N7GRRCBTZ57OTFQGF3C","bundle":"https://pith.science/pith/Q4ZMSL2N7GRRCBTZ57OTFQGF3C/bundle.json","state":"https://pith.science/pith/Q4ZMSL2N7GRRCBTZ57OTFQGF3C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q4ZMSL2N7GRRCBTZ57OTFQGF3C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:Q4ZMSL2N7GRRCBTZ57OTFQGF3C","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":"d18d6c557aa1ef9bdfc0c08dec10af6d78f72c42acc6020ae540afd7643e3416","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-12-22T21:58:32Z","title_canon_sha256":"13badcf6f586a6365d2ef2edc7e3139cc888c282043e969a90a7770df79509dd"},"schema_version":"1.0","source":{"id":"1612.07823","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.07823","created_at":"2026-05-18T00:44:23Z"},{"alias_kind":"arxiv_version","alias_value":"1612.07823v3","created_at":"2026-05-18T00:44:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.07823","created_at":"2026-05-18T00:44:23Z"},{"alias_kind":"pith_short_12","alias_value":"Q4ZMSL2N7GRR","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"Q4ZMSL2N7GRRCBTZ","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"Q4ZMSL2N","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:1ad17c0f4ecd74a610d7c036d296b155952b0e4cb6797794a5edd1a3b4409d56","target":"graph","created_at":"2026-05-18T00:44:23Z","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":"To effectively analyze and design cyberphysical systems (CPS), designers today have to combat the data deluge problem, i.e., the burden of processing intractably large amounts of data produced by complex models and experiments. In this work, we utilize monotonic Parametric Signal Temporal Logic (PSTL) to design features for unsupervised classification of time series data. This enables using off-the-shelf machine learning tools to automatically cluster similar traces with respect to a given PSTL formula. We demonstrate how this technique produces interpretable formulas that are amenable to anal","authors_text":"Jyotirmoy V. Deshmukh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia, Xiaoqing Jin","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-12-22T21:58:32Z","title":"Logic-based Clustering and Learning for Time-Series Data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.07823","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:8b3f064400d4f65cc681c8545a390f1c94bc83216a1c645a52f7a54d65bf98e8","target":"record","created_at":"2026-05-18T00:44:23Z","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":"d18d6c557aa1ef9bdfc0c08dec10af6d78f72c42acc6020ae540afd7643e3416","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-12-22T21:58:32Z","title_canon_sha256":"13badcf6f586a6365d2ef2edc7e3139cc888c282043e969a90a7770df79509dd"},"schema_version":"1.0","source":{"id":"1612.07823","kind":"arxiv","version":3}},"canonical_sha256":"8732c92f4df9a3110679efdd32c0c5d8878231d501df6e454cdb2e82dc5cc533","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8732c92f4df9a3110679efdd32c0c5d8878231d501df6e454cdb2e82dc5cc533","first_computed_at":"2026-05-18T00:44:23.932890Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:23.932890Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i84M3rKADRhd+2LwN4dUefIxDvuiBdBrSKtFvJpxE/ap3x9SrbJQyT/yvC4sTPws+kCr3DNHyrpLyHFvIGV4BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:23.933275Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.07823","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b3f064400d4f65cc681c8545a390f1c94bc83216a1c645a52f7a54d65bf98e8","sha256:1ad17c0f4ecd74a610d7c036d296b155952b0e4cb6797794a5edd1a3b4409d56"],"state_sha256":"42ce8d97af2a9461b9caef14d17699edc46cf89aea496ebb88d9c357fe6f16d8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eI6TlbkA4vz6A9kDZxsKZJPNDBHmHvlOvnwSUxw6GsTfh5IMOxPxia7zwlNUBfcOAAr470g3WLAZp6U7z/nZDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T08:49:51.878383Z","bundle_sha256":"e4cca54ab188e9b03ca823bc55016ef22e189600adb4982b9e8d89bd6bc5df7e"}}