{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:A4QXPERRCIXEQ7TGEFI24KY3C5","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":"cae2a12b696c6f68f4683dcb3018fc51c5b24f20445efd97e114725b4d620da5","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-07-24T06:54:04Z","title_canon_sha256":"6eef1d754fa9db68d7856dbf15d1be6dfc620584327e34f382bb9c6b4a1fdf18"},"schema_version":"1.0","source":{"id":"1907.10265","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.10265","created_at":"2026-05-17T23:39:38Z"},{"alias_kind":"arxiv_version","alias_value":"1907.10265v1","created_at":"2026-05-17T23:39:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.10265","created_at":"2026-05-17T23:39:38Z"},{"alias_kind":"pith_short_12","alias_value":"A4QXPERRCIXE","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"A4QXPERRCIXEQ7TG","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"A4QXPERR","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:010d9a0888787fed0477a7bd9bb9f9844628e3547023a50ec949b5187993be97","target":"graph","created_at":"2026-05-17T23:39:38Z","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":"Cyber-physical system applications such as autonomous vehicles, wearable devices, and avionic systems generate a large volume of time-series data. Designers often look for tools to help classify and categorize the data. Traditional machine learning techniques for time-series data offer several solutions to solve these problems; however, the artifacts trained by these algorithms often lack interpretability. On the other hand, temporal logics, such as Signal Temporal Logic (STL) have been successfully used in the formal methods community as specifications of time-series behaviors. In this work, ","authors_text":"Alexandre Donz\\'e, Aniruddh G. Puranic, Jyotirmoy V. Deshmukh, Marcell Vazquez-Chanlatte, Sara Mohammadinejad","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-07-24T06:54:04Z","title":"Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.10265","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:d2586866ae8a6d2fbe719aaccb8e8edc35153e6f91576a64c7a0a5a9edab6dac","target":"record","created_at":"2026-05-17T23:39:38Z","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":"cae2a12b696c6f68f4683dcb3018fc51c5b24f20445efd97e114725b4d620da5","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-07-24T06:54:04Z","title_canon_sha256":"6eef1d754fa9db68d7856dbf15d1be6dfc620584327e34f382bb9c6b4a1fdf18"},"schema_version":"1.0","source":{"id":"1907.10265","kind":"arxiv","version":1}},"canonical_sha256":"0721779231122e487e662151ae2b1b1765daa6e85823a0ba80e3f267794a0bf6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0721779231122e487e662151ae2b1b1765daa6e85823a0ba80e3f267794a0bf6","first_computed_at":"2026-05-17T23:39:38.449743Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:38.449743Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cVtIz21Isv/g2dDT8+zlBjL+412vD2CUhVrDP6oE73fxtOeNnT5FmzWPpTOmFsbmp/4iaZo986O/CvGgAH4rBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:38.450245Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.10265","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d2586866ae8a6d2fbe719aaccb8e8edc35153e6f91576a64c7a0a5a9edab6dac","sha256:010d9a0888787fed0477a7bd9bb9f9844628e3547023a50ec949b5187993be97"],"state_sha256":"564c1910ce758ec5b115ac239ce3fe2e898e6342bb90f470e5d5e43ed14e1955"}