{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:S74SRTMLLKGDH6ZX72L3MZ45T6","short_pith_number":"pith:S74SRTML","canonical_record":{"source":{"id":"2607.10918","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-12T20:43:52Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"3a3a524acc30c8bcffd890783e13e23b4854896ede0e109f3c16de112b190a78","abstract_canon_sha256":"b3b28f58d3ba41634a680233d8f497a1392b8b1bc3ba1281150204b920484766"},"schema_version":"1.0"},"canonical_sha256":"97f928cd8b5a8c33fb37fe97b6679d9f9a5b9ea3d916a3d2406671eafe115923","source":{"kind":"arxiv","id":"2607.10918","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.10918","created_at":"2026-07-14T01:21:47Z"},{"alias_kind":"arxiv_version","alias_value":"2607.10918v1","created_at":"2026-07-14T01:21:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.10918","created_at":"2026-07-14T01:21:47Z"},{"alias_kind":"pith_short_12","alias_value":"S74SRTMLLKGD","created_at":"2026-07-14T01:21:47Z"},{"alias_kind":"pith_short_16","alias_value":"S74SRTMLLKGDH6ZX","created_at":"2026-07-14T01:21:47Z"},{"alias_kind":"pith_short_8","alias_value":"S74SRTML","created_at":"2026-07-14T01:21:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:S74SRTMLLKGDH6ZX72L3MZ45T6","target":"record","payload":{"canonical_record":{"source":{"id":"2607.10918","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-12T20:43:52Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"3a3a524acc30c8bcffd890783e13e23b4854896ede0e109f3c16de112b190a78","abstract_canon_sha256":"b3b28f58d3ba41634a680233d8f497a1392b8b1bc3ba1281150204b920484766"},"schema_version":"1.0"},"canonical_sha256":"97f928cd8b5a8c33fb37fe97b6679d9f9a5b9ea3d916a3d2406671eafe115923","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-14T01:21:47.731184Z","signature_b64":"5cgz63PwXy9R60Irnlys8eBgbJKibAu0OaBNpT5fl2y1e1KQHPIazEv8nzsH7SF5mvSH1kuyhdwyW/zlfAwpAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"97f928cd8b5a8c33fb37fe97b6679d9f9a5b9ea3d916a3d2406671eafe115923","last_reissued_at":"2026-07-14T01:21:47.730303Z","signature_status":"signed_v1","first_computed_at":"2026-07-14T01:21:47.730303Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.10918","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-07-14T01:21:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b7OzVbpDMURvCra2MZ+gu/Gexw1aOXLJSKFVcXWammghBtd9BHi53+cFVuTf4XeklTn2IR9+Q5wMnUKt3HUPCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T21:26:48.810894Z"},"content_sha256":"7543a6e9579eeedae8ed8fd3b652e6ca73ab71a86f1ff2080341c9182a29fb6a","schema_version":"1.0","event_id":"sha256:7543a6e9579eeedae8ed8fd3b652e6ca73ab71a86f1ff2080341c9182a29fb6a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:S74SRTMLLKGDH6ZX72L3MZ45T6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.AI","authors_text":"Constantino Lagoa, Parastou Fahim, R\\^omulo Meira-G'oes","submitted_at":"2026-07-12T20:43:52Z","abstract_excerpt":"Learning temporal logic specifications from system demonstrations is essential for tasks such as formal verification and controller synthesis, especially in safety-critical domains. Existing approaches typically assume demonstrations are correct or only affected by misclassification errors. In practice, however, system traces are often uncertain or incomplete due to sensor faults, measurement errors, or data loss. We present a framework for learning minimal Linear Temporal Logic (LTL) formulas from demonstrations with uncertainty. Our approach models uncertainty via Hamming distance to generat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.10918","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.10918/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-14T01:21:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"veqQbvsa/vcKDSilB/bjenP7Qy1zS+fXyfmUi+QOO+i88kKLdPC1joaZHgNxw640IGuurC6VKVwAptqKHLaZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T21:26:48.811448Z"},"content_sha256":"8d4b631f0c1f4772524eec0643f83537645692114af3ef972d33309a87e90542","schema_version":"1.0","event_id":"sha256:8d4b631f0c1f4772524eec0643f83537645692114af3ef972d33309a87e90542"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S74SRTMLLKGDH6ZX72L3MZ45T6/bundle.json","state_url":"https://pith.science/pith/S74SRTMLLKGDH6ZX72L3MZ45T6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S74SRTMLLKGDH6ZX72L3MZ45T6/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-08-15T21:26:48Z","links":{"resolver":"https://pith.science/pith/S74SRTMLLKGDH6ZX72L3MZ45T6","bundle":"https://pith.science/pith/S74SRTMLLKGDH6ZX72L3MZ45T6/bundle.json","state":"https://pith.science/pith/S74SRTMLLKGDH6ZX72L3MZ45T6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S74SRTMLLKGDH6ZX72L3MZ45T6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:S74SRTMLLKGDH6ZX72L3MZ45T6","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":"b3b28f58d3ba41634a680233d8f497a1392b8b1bc3ba1281150204b920484766","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-12T20:43:52Z","title_canon_sha256":"3a3a524acc30c8bcffd890783e13e23b4854896ede0e109f3c16de112b190a78"},"schema_version":"1.0","source":{"id":"2607.10918","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.10918","created_at":"2026-07-14T01:21:47Z"},{"alias_kind":"arxiv_version","alias_value":"2607.10918v1","created_at":"2026-07-14T01:21:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.10918","created_at":"2026-07-14T01:21:47Z"},{"alias_kind":"pith_short_12","alias_value":"S74SRTMLLKGD","created_at":"2026-07-14T01:21:47Z"},{"alias_kind":"pith_short_16","alias_value":"S74SRTMLLKGDH6ZX","created_at":"2026-07-14T01:21:47Z"},{"alias_kind":"pith_short_8","alias_value":"S74SRTML","created_at":"2026-07-14T01:21:47Z"}],"graph_snapshots":[{"event_id":"sha256:8d4b631f0c1f4772524eec0643f83537645692114af3ef972d33309a87e90542","target":"graph","created_at":"2026-07-14T01:21:47Z","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/2607.10918/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Learning temporal logic specifications from system demonstrations is essential for tasks such as formal verification and controller synthesis, especially in safety-critical domains. Existing approaches typically assume demonstrations are correct or only affected by misclassification errors. In practice, however, system traces are often uncertain or incomplete due to sensor faults, measurement errors, or data loss. We present a framework for learning minimal Linear Temporal Logic (LTL) formulas from demonstrations with uncertainty. Our approach models uncertainty via Hamming distance to generat","authors_text":"Constantino Lagoa, Parastou Fahim, R\\^omulo Meira-G'oes","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-12T20:43:52Z","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.10918","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:7543a6e9579eeedae8ed8fd3b652e6ca73ab71a86f1ff2080341c9182a29fb6a","target":"record","created_at":"2026-07-14T01:21:47Z","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":"b3b28f58d3ba41634a680233d8f497a1392b8b1bc3ba1281150204b920484766","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-12T20:43:52Z","title_canon_sha256":"3a3a524acc30c8bcffd890783e13e23b4854896ede0e109f3c16de112b190a78"},"schema_version":"1.0","source":{"id":"2607.10918","kind":"arxiv","version":1}},"canonical_sha256":"97f928cd8b5a8c33fb37fe97b6679d9f9a5b9ea3d916a3d2406671eafe115923","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"97f928cd8b5a8c33fb37fe97b6679d9f9a5b9ea3d916a3d2406671eafe115923","first_computed_at":"2026-07-14T01:21:47.730303Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-14T01:21:47.730303Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5cgz63PwXy9R60Irnlys8eBgbJKibAu0OaBNpT5fl2y1e1KQHPIazEv8nzsH7SF5mvSH1kuyhdwyW/zlfAwpAw==","signature_status":"signed_v1","signed_at":"2026-07-14T01:21:47.731184Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.10918","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7543a6e9579eeedae8ed8fd3b652e6ca73ab71a86f1ff2080341c9182a29fb6a","sha256:8d4b631f0c1f4772524eec0643f83537645692114af3ef972d33309a87e90542"],"state_sha256":"9315d8759efa43536df4b324c4a8ed1127374a13324c78e9d69a193789fa0c1b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oGyq/V2/fv1918rsRzNysWnoeyIW19B1kzEkZkP69GeydMojE29QE0rj/3DT2dYBoIGap7kbyTiMqzuT2FWVDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T21:26:48.814903Z","bundle_sha256":"01bcf5a4266674f811c8d25054b3ce1646c45bb91ce8bbf6a7036f210c37f637"}}