{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:XMCXT4LUYYJL7WF5SXMVPTZ4C4","short_pith_number":"pith:XMCXT4LU","canonical_record":{"source":{"id":"2209.02650","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-09-06T17:04:09Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"576f1f17229317d671ebf5f1cd08ea44c3f3b9497c4e507eb0f2a498c096e56b","abstract_canon_sha256":"8a6b0c3ec7867072d792cd27084eab1f1bb38fded7e2c273aa2d63d395535f15"},"schema_version":"1.0"},"canonical_sha256":"bb0579f174c612bfd8bd95d957cf3c1706ab45236ce0041837d4f1ab72e4fe7f","source":{"kind":"arxiv","id":"2209.02650","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.02650","created_at":"2026-07-05T05:47:17Z"},{"alias_kind":"arxiv_version","alias_value":"2209.02650v2","created_at":"2026-07-05T05:47:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.02650","created_at":"2026-07-05T05:47:17Z"},{"alias_kind":"pith_short_12","alias_value":"XMCXT4LUYYJL","created_at":"2026-07-05T05:47:17Z"},{"alias_kind":"pith_short_16","alias_value":"XMCXT4LUYYJL7WF5","created_at":"2026-07-05T05:47:17Z"},{"alias_kind":"pith_short_8","alias_value":"XMCXT4LU","created_at":"2026-07-05T05:47:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:XMCXT4LUYYJL7WF5SXMVPTZ4C4","target":"record","payload":{"canonical_record":{"source":{"id":"2209.02650","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-09-06T17:04:09Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"576f1f17229317d671ebf5f1cd08ea44c3f3b9497c4e507eb0f2a498c096e56b","abstract_canon_sha256":"8a6b0c3ec7867072d792cd27084eab1f1bb38fded7e2c273aa2d63d395535f15"},"schema_version":"1.0"},"canonical_sha256":"bb0579f174c612bfd8bd95d957cf3c1706ab45236ce0041837d4f1ab72e4fe7f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:47:17.320533Z","signature_b64":"Z+b4aW0lPPkwctPOYIHeR2Ub37hkCGh3T8xlykZj6xqN3pBy51saFUy+sj/YDjqnol/y8mlwcfkH51nCRKkuAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bb0579f174c612bfd8bd95d957cf3c1706ab45236ce0041837d4f1ab72e4fe7f","last_reissued_at":"2026-07-05T05:47:17.319996Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:47:17.319996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2209.02650","source_version":2,"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-05T05:47:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wMBzThksBnNFJz6N60Fx+PllAbcYmjCk8aoXQuOAKMnR0c3F2w36/rBWshwVletZqB5xBTnzxvRqqFFKrSaiDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-12T10:04:34.243762Z"},"content_sha256":"7748fd0a0df501467baf280b75d2fd6c6f04c4533ca2a601de7b86be6f162903","schema_version":"1.0","event_id":"sha256:7748fd0a0df501467baf280b75d2fd6c6f04c4533ca2a601de7b86be6f162903"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:XMCXT4LUYYJL7WF5SXMVPTZ4C4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Interpretable Temporal Properties from Positive Examples Only","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Daniel Neider, Jean-Rapha\\\"el Gaglione, Nasim Baharisangari, Rajarshi Roy, Ufuk Topcu, Zhe Xu","submitted_at":"2022-09-06T17:04:09Z","abstract_excerpt":"We consider the problem of explaining the temporal behavior of black-box systems using human-interpretable models. To this end, based on recent research trends, we rely on the fundamental yet interpretable models of deterministic finite automata (DFAs) and linear temporal logic (LTL) formulas. In contrast to most existing works for learning DFAs and LTL formulas, we rely on only positive examples. Our motivation is that negative examples are generally difficult to observe, in particular, from black-box systems. To learn meaningful models from positive examples only, we design algorithms that r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.02650","kind":"arxiv","version":2},"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/2209.02650/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-05T05:47:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QnHntG3e6eXaGUdZHFe3MmvvIEwjTyv9p4nHJyBVd4M73lxHkSdSPKc+LbH2kMo0BtXZ5HJpYZbTCTknGOuDDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-12T10:04:34.244134Z"},"content_sha256":"1896491e9fc690990424cd023ab3ed261e8c2cdad8696fe056ff06d2cc68d6b9","schema_version":"1.0","event_id":"sha256:1896491e9fc690990424cd023ab3ed261e8c2cdad8696fe056ff06d2cc68d6b9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XMCXT4LUYYJL7WF5SXMVPTZ4C4/bundle.json","state_url":"https://pith.science/pith/XMCXT4LUYYJL7WF5SXMVPTZ4C4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XMCXT4LUYYJL7WF5SXMVPTZ4C4/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-12T10:04:34Z","links":{"resolver":"https://pith.science/pith/XMCXT4LUYYJL7WF5SXMVPTZ4C4","bundle":"https://pith.science/pith/XMCXT4LUYYJL7WF5SXMVPTZ4C4/bundle.json","state":"https://pith.science/pith/XMCXT4LUYYJL7WF5SXMVPTZ4C4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XMCXT4LUYYJL7WF5SXMVPTZ4C4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:XMCXT4LUYYJL7WF5SXMVPTZ4C4","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":"8a6b0c3ec7867072d792cd27084eab1f1bb38fded7e2c273aa2d63d395535f15","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-09-06T17:04:09Z","title_canon_sha256":"576f1f17229317d671ebf5f1cd08ea44c3f3b9497c4e507eb0f2a498c096e56b"},"schema_version":"1.0","source":{"id":"2209.02650","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.02650","created_at":"2026-07-05T05:47:17Z"},{"alias_kind":"arxiv_version","alias_value":"2209.02650v2","created_at":"2026-07-05T05:47:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.02650","created_at":"2026-07-05T05:47:17Z"},{"alias_kind":"pith_short_12","alias_value":"XMCXT4LUYYJL","created_at":"2026-07-05T05:47:17Z"},{"alias_kind":"pith_short_16","alias_value":"XMCXT4LUYYJL7WF5","created_at":"2026-07-05T05:47:17Z"},{"alias_kind":"pith_short_8","alias_value":"XMCXT4LU","created_at":"2026-07-05T05:47:17Z"}],"graph_snapshots":[{"event_id":"sha256:1896491e9fc690990424cd023ab3ed261e8c2cdad8696fe056ff06d2cc68d6b9","target":"graph","created_at":"2026-07-05T05:47:17Z","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/2209.02650/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider the problem of explaining the temporal behavior of black-box systems using human-interpretable models. To this end, based on recent research trends, we rely on the fundamental yet interpretable models of deterministic finite automata (DFAs) and linear temporal logic (LTL) formulas. In contrast to most existing works for learning DFAs and LTL formulas, we rely on only positive examples. Our motivation is that negative examples are generally difficult to observe, in particular, from black-box systems. To learn meaningful models from positive examples only, we design algorithms that r","authors_text":"Daniel Neider, Jean-Rapha\\\"el Gaglione, Nasim Baharisangari, Rajarshi Roy, Ufuk Topcu, Zhe Xu","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-09-06T17:04:09Z","title":"Learning Interpretable Temporal Properties from Positive Examples Only"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.02650","kind":"arxiv","version":2},"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:7748fd0a0df501467baf280b75d2fd6c6f04c4533ca2a601de7b86be6f162903","target":"record","created_at":"2026-07-05T05:47:17Z","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":"8a6b0c3ec7867072d792cd27084eab1f1bb38fded7e2c273aa2d63d395535f15","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-09-06T17:04:09Z","title_canon_sha256":"576f1f17229317d671ebf5f1cd08ea44c3f3b9497c4e507eb0f2a498c096e56b"},"schema_version":"1.0","source":{"id":"2209.02650","kind":"arxiv","version":2}},"canonical_sha256":"bb0579f174c612bfd8bd95d957cf3c1706ab45236ce0041837d4f1ab72e4fe7f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bb0579f174c612bfd8bd95d957cf3c1706ab45236ce0041837d4f1ab72e4fe7f","first_computed_at":"2026-07-05T05:47:17.319996Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:47:17.319996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Z+b4aW0lPPkwctPOYIHeR2Ub37hkCGh3T8xlykZj6xqN3pBy51saFUy+sj/YDjqnol/y8mlwcfkH51nCRKkuAA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:47:17.320533Z","signed_message":"canonical_sha256_bytes"},"source_id":"2209.02650","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7748fd0a0df501467baf280b75d2fd6c6f04c4533ca2a601de7b86be6f162903","sha256:1896491e9fc690990424cd023ab3ed261e8c2cdad8696fe056ff06d2cc68d6b9"],"state_sha256":"6fe37bd01c636e50bece4d68ad5e23dd99842463414bfaf6d1f2adfa5b06cbbf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ofGGw0jvrLWvPgpkfLATQofGcwjHSNslPVbzjOxrj9eoErUSaBFIJFxDjlCOGv1H8GXF30QL0ERHyIZjAz4iCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-12T10:04:34.246577Z","bundle_sha256":"a127373105e586849e70d969525ffc19020871a435d31e351b687c43a833c3f6"}}