{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:DAPH5JO7UVUPOMFCXX4BITCZLV","short_pith_number":"pith:DAPH5JO7","canonical_record":{"source":{"id":"1811.08846","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-21T17:48:59Z","cross_cats_sorted":[],"title_canon_sha256":"34024b182da6f45de4b43d41527e6e5ca40707d5e904cfe7b6d57c557e690698","abstract_canon_sha256":"6837fbfdfb57a85343fcc7c0ce0b96af8a277284a3dc3d2343931fbf8f20bfb8"},"schema_version":"1.0"},"canonical_sha256":"181e7ea5dfa568f730a2bdf8144c595d4fc5d68a75877c304321a657bc1093f5","source":{"kind":"arxiv","id":"1811.08846","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.08846","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"arxiv_version","alias_value":"1811.08846v1","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.08846","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"pith_short_12","alias_value":"DAPH5JO7UVUP","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DAPH5JO7UVUPOMFC","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DAPH5JO7","created_at":"2026-05-18T12:32:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:DAPH5JO7UVUPOMFCXX4BITCZLV","target":"record","payload":{"canonical_record":{"source":{"id":"1811.08846","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-21T17:48:59Z","cross_cats_sorted":[],"title_canon_sha256":"34024b182da6f45de4b43d41527e6e5ca40707d5e904cfe7b6d57c557e690698","abstract_canon_sha256":"6837fbfdfb57a85343fcc7c0ce0b96af8a277284a3dc3d2343931fbf8f20bfb8"},"schema_version":"1.0"},"canonical_sha256":"181e7ea5dfa568f730a2bdf8144c595d4fc5d68a75877c304321a657bc1093f5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:09.794995Z","signature_b64":"vYMuQPFUrT2ct0v0J10pYRlKy3YY7GvtjVr7ZT6/W+9Mrl+W5CfZrqTDeHOdqOriFyqprxLfE2+3wy+jMU2qAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"181e7ea5dfa568f730a2bdf8144c595d4fc5d68a75877c304321a657bc1093f5","last_reissued_at":"2026-05-18T00:00:09.794429Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:09.794429Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.08846","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-18T00:00:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kY5KvDLHjefC4esUoHx41M33ISd+V2KmOP6/ETLxOZICFlYGc26+LWJ0h9/8+/U6nsA1gO/LF+dC81Id7vCIDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T22:29:40.586714Z"},"content_sha256":"9536d604b1c027906209a956f65d3a0a2236648fbf38f6040ee0c2df23c09264","schema_version":"1.0","event_id":"sha256:9536d604b1c027906209a956f65d3a0a2236648fbf38f6040ee0c2df23c09264"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:DAPH5JO7UVUPOMFCXX4BITCZLV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Information-Guided Temporal Logic Inference with Prior Knowledge","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"A. Agung Julius, Melkior Ornik, Ufuk Topcu, Zhe Xu","submitted_at":"2018-11-21T17:48:59Z","abstract_excerpt":"This paper investigates the problem of inferring knowledge from data so that the inferred knowledge is interpretable and informative to humans who have prior knowledge. Given a dataset as a collection of system trajectories, we infer parametric linear temporal logic (pLTL) formulas that are informative and satisfied by the trajectories in the dataset with high probability. The informativeness of the inferred formula is measured by the information gain with respect to given prior knowledge represented by a prior probability distribution. We first present two algorithms to compute the informatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.08846","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-18T00:00:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5WtGTmjQVWP9+QQN8Mzh1e+zv9mWuBI1a94RsxMF4xRrHtlD+2SgBpx0n8VKmeHofCh+K7l6LvZPnblq/zETCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T22:29:40.587082Z"},"content_sha256":"4ba061f6aa7650c15d709ac9ded0df2ddb82e3d32fcd73ce397365d0d29a1f57","schema_version":"1.0","event_id":"sha256:4ba061f6aa7650c15d709ac9ded0df2ddb82e3d32fcd73ce397365d0d29a1f57"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DAPH5JO7UVUPOMFCXX4BITCZLV/bundle.json","state_url":"https://pith.science/pith/DAPH5JO7UVUPOMFCXX4BITCZLV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DAPH5JO7UVUPOMFCXX4BITCZLV/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-28T22:29:40Z","links":{"resolver":"https://pith.science/pith/DAPH5JO7UVUPOMFCXX4BITCZLV","bundle":"https://pith.science/pith/DAPH5JO7UVUPOMFCXX4BITCZLV/bundle.json","state":"https://pith.science/pith/DAPH5JO7UVUPOMFCXX4BITCZLV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DAPH5JO7UVUPOMFCXX4BITCZLV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:DAPH5JO7UVUPOMFCXX4BITCZLV","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":"6837fbfdfb57a85343fcc7c0ce0b96af8a277284a3dc3d2343931fbf8f20bfb8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-21T17:48:59Z","title_canon_sha256":"34024b182da6f45de4b43d41527e6e5ca40707d5e904cfe7b6d57c557e690698"},"schema_version":"1.0","source":{"id":"1811.08846","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.08846","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"arxiv_version","alias_value":"1811.08846v1","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.08846","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"pith_short_12","alias_value":"DAPH5JO7UVUP","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DAPH5JO7UVUPOMFC","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DAPH5JO7","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:4ba061f6aa7650c15d709ac9ded0df2ddb82e3d32fcd73ce397365d0d29a1f57","target":"graph","created_at":"2026-05-18T00:00:09Z","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":"This paper investigates the problem of inferring knowledge from data so that the inferred knowledge is interpretable and informative to humans who have prior knowledge. Given a dataset as a collection of system trajectories, we infer parametric linear temporal logic (pLTL) formulas that are informative and satisfied by the trajectories in the dataset with high probability. The informativeness of the inferred formula is measured by the information gain with respect to given prior knowledge represented by a prior probability distribution. We first present two algorithms to compute the informatio","authors_text":"A. Agung Julius, Melkior Ornik, Ufuk Topcu, Zhe Xu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-21T17:48:59Z","title":"Information-Guided Temporal Logic Inference with Prior Knowledge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.08846","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:9536d604b1c027906209a956f65d3a0a2236648fbf38f6040ee0c2df23c09264","target":"record","created_at":"2026-05-18T00:00:09Z","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":"6837fbfdfb57a85343fcc7c0ce0b96af8a277284a3dc3d2343931fbf8f20bfb8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-21T17:48:59Z","title_canon_sha256":"34024b182da6f45de4b43d41527e6e5ca40707d5e904cfe7b6d57c557e690698"},"schema_version":"1.0","source":{"id":"1811.08846","kind":"arxiv","version":1}},"canonical_sha256":"181e7ea5dfa568f730a2bdf8144c595d4fc5d68a75877c304321a657bc1093f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"181e7ea5dfa568f730a2bdf8144c595d4fc5d68a75877c304321a657bc1093f5","first_computed_at":"2026-05-18T00:00:09.794429Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:09.794429Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vYMuQPFUrT2ct0v0J10pYRlKy3YY7GvtjVr7ZT6/W+9Mrl+W5CfZrqTDeHOdqOriFyqprxLfE2+3wy+jMU2qAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:09.794995Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.08846","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9536d604b1c027906209a956f65d3a0a2236648fbf38f6040ee0c2df23c09264","sha256:4ba061f6aa7650c15d709ac9ded0df2ddb82e3d32fcd73ce397365d0d29a1f57"],"state_sha256":"c8387eb42d990f4e6df4a1317272424446db5c2459368ba048bdda3fb7256f12"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"faCFP8+mp/CSGkb0r3oA+ZE+NNifYUXSLQZhnyOV6D98FOQDDqd17d7X3VuWFUF2rjFTRdGSKB/z2VuktbXJAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T22:29:40.589275Z","bundle_sha256":"af16b7b431ebf1fb53fa87e01bb9aae2c8f8f066d727b80763c73c097ba570d8"}}