{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:ZCUCINDGTUWYGI4STORKWX3IB4","short_pith_number":"pith:ZCUCINDG","canonical_record":{"source":{"id":"2212.00916","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-12-02T00:32:09Z","cross_cats_sorted":["cs.AI","cs.FL","cs.LG"],"title_canon_sha256":"6839da594759c5322eafacda4183726f25db5eb2e58394d242fa44de22cf87b1","abstract_canon_sha256":"27bd78631a46430ee9576a2509a885624687c1768785a57731b23ad6b25f9c99"},"schema_version":"1.0"},"canonical_sha256":"c8a82434669d2d8323929ba2ab5f680f3a86c94dafb1b03d8932b2cc922b241e","source":{"kind":"arxiv","id":"2212.00916","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.00916","created_at":"2026-07-05T05:21:47Z"},{"alias_kind":"arxiv_version","alias_value":"2212.00916v1","created_at":"2026-07-05T05:21:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.00916","created_at":"2026-07-05T05:21:47Z"},{"alias_kind":"pith_short_12","alias_value":"ZCUCINDGTUWY","created_at":"2026-07-05T05:21:47Z"},{"alias_kind":"pith_short_16","alias_value":"ZCUCINDGTUWYGI4S","created_at":"2026-07-05T05:21:47Z"},{"alias_kind":"pith_short_8","alias_value":"ZCUCINDG","created_at":"2026-07-05T05:21:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:ZCUCINDGTUWYGI4STORKWX3IB4","target":"record","payload":{"canonical_record":{"source":{"id":"2212.00916","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-12-02T00:32:09Z","cross_cats_sorted":["cs.AI","cs.FL","cs.LG"],"title_canon_sha256":"6839da594759c5322eafacda4183726f25db5eb2e58394d242fa44de22cf87b1","abstract_canon_sha256":"27bd78631a46430ee9576a2509a885624687c1768785a57731b23ad6b25f9c99"},"schema_version":"1.0"},"canonical_sha256":"c8a82434669d2d8323929ba2ab5f680f3a86c94dafb1b03d8932b2cc922b241e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:21:47.209483Z","signature_b64":"+8th2hGYK5l/yy68XFGZF0WthmW/sXZf55g6vyMo//zgga3oJw8snjd5MODXQNBBecSDpjjI7h579suRHCZ+Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8a82434669d2d8323929ba2ab5f680f3a86c94dafb1b03d8932b2cc922b241e","last_reissued_at":"2026-07-05T05:21:47.209010Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:21:47.209010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2212.00916","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-05T05: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":"0uXNVI78y1280HBcFq8bhqmYhG2rVWkJkyqgXLaHEFde6Ec78WPR7l7viB30MadvndMoG7p9Pujy5nT8WvxpDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:01:19.064118Z"},"content_sha256":"a4b30b4acc3aa47c2daf1aa4f4bc03571a2ec6125dbbac6a4ffa575f59051721","schema_version":"1.0","event_id":"sha256:a4b30b4acc3aa47c2daf1aa4f4bc03571a2ec6125dbbac6a4ffa575f59051721"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:ZCUCINDGTUWYGI4STORKWX3IB4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Temporal Logic Properties: an Overview of Two Recent Methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.FL","cs.LG"],"primary_cat":"cs.LO","authors_text":"Daniel Neider, Jean-Rapha\\\"el Gaglione, Nasim Baharisangari, Rajarshi Roy, Ufuk Topcu, Zhe Xu","submitted_at":"2022-12-02T00:32:09Z","abstract_excerpt":"Learning linear temporal logic (LTL) formulas from examples labeled as positive or negative has found applications in inferring descriptions of system behavior. We summarize two methods to learn LTL formulas from examples in two different problem settings. The first method assumes noise in the labeling of the examples. For that, they define the problem of inferring an LTL formula that must be consistent with most but not all of the examples. The second method considers the other problem of inferring meaningful LTL formulas in the case where only positive examples are given. Hence, the first me"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.00916","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/2212.00916/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: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":"GqBALm4ZhwvTczkYP1pFZ2BU+dkLqBQ8lZNJlew8DMxJxq9nw5DthiMm+3J0yA1OM0laoKf+5sjBF4vCAX5vAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:01:19.064506Z"},"content_sha256":"948c08e9e1ead5d260d3c735268cf70793b0de6edb6231f3fa5406041d01e8c4","schema_version":"1.0","event_id":"sha256:948c08e9e1ead5d260d3c735268cf70793b0de6edb6231f3fa5406041d01e8c4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZCUCINDGTUWYGI4STORKWX3IB4/bundle.json","state_url":"https://pith.science/pith/ZCUCINDGTUWYGI4STORKWX3IB4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZCUCINDGTUWYGI4STORKWX3IB4/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-09T05:01:19Z","links":{"resolver":"https://pith.science/pith/ZCUCINDGTUWYGI4STORKWX3IB4","bundle":"https://pith.science/pith/ZCUCINDGTUWYGI4STORKWX3IB4/bundle.json","state":"https://pith.science/pith/ZCUCINDGTUWYGI4STORKWX3IB4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZCUCINDGTUWYGI4STORKWX3IB4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:ZCUCINDGTUWYGI4STORKWX3IB4","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":"27bd78631a46430ee9576a2509a885624687c1768785a57731b23ad6b25f9c99","cross_cats_sorted":["cs.AI","cs.FL","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-12-02T00:32:09Z","title_canon_sha256":"6839da594759c5322eafacda4183726f25db5eb2e58394d242fa44de22cf87b1"},"schema_version":"1.0","source":{"id":"2212.00916","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.00916","created_at":"2026-07-05T05:21:47Z"},{"alias_kind":"arxiv_version","alias_value":"2212.00916v1","created_at":"2026-07-05T05:21:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.00916","created_at":"2026-07-05T05:21:47Z"},{"alias_kind":"pith_short_12","alias_value":"ZCUCINDGTUWY","created_at":"2026-07-05T05:21:47Z"},{"alias_kind":"pith_short_16","alias_value":"ZCUCINDGTUWYGI4S","created_at":"2026-07-05T05:21:47Z"},{"alias_kind":"pith_short_8","alias_value":"ZCUCINDG","created_at":"2026-07-05T05:21:47Z"}],"graph_snapshots":[{"event_id":"sha256:948c08e9e1ead5d260d3c735268cf70793b0de6edb6231f3fa5406041d01e8c4","target":"graph","created_at":"2026-07-05T05: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/2212.00916/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Learning linear temporal logic (LTL) formulas from examples labeled as positive or negative has found applications in inferring descriptions of system behavior. We summarize two methods to learn LTL formulas from examples in two different problem settings. The first method assumes noise in the labeling of the examples. For that, they define the problem of inferring an LTL formula that must be consistent with most but not all of the examples. The second method considers the other problem of inferring meaningful LTL formulas in the case where only positive examples are given. Hence, the first me","authors_text":"Daniel Neider, Jean-Rapha\\\"el Gaglione, Nasim Baharisangari, Rajarshi Roy, Ufuk Topcu, Zhe Xu","cross_cats":["cs.AI","cs.FL","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-12-02T00:32:09Z","title":"Learning Temporal Logic Properties: an Overview of Two Recent Methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.00916","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:a4b30b4acc3aa47c2daf1aa4f4bc03571a2ec6125dbbac6a4ffa575f59051721","target":"record","created_at":"2026-07-05T05: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":"27bd78631a46430ee9576a2509a885624687c1768785a57731b23ad6b25f9c99","cross_cats_sorted":["cs.AI","cs.FL","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-12-02T00:32:09Z","title_canon_sha256":"6839da594759c5322eafacda4183726f25db5eb2e58394d242fa44de22cf87b1"},"schema_version":"1.0","source":{"id":"2212.00916","kind":"arxiv","version":1}},"canonical_sha256":"c8a82434669d2d8323929ba2ab5f680f3a86c94dafb1b03d8932b2cc922b241e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8a82434669d2d8323929ba2ab5f680f3a86c94dafb1b03d8932b2cc922b241e","first_computed_at":"2026-07-05T05:21:47.209010Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:21:47.209010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+8th2hGYK5l/yy68XFGZF0WthmW/sXZf55g6vyMo//zgga3oJw8snjd5MODXQNBBecSDpjjI7h579suRHCZ+Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:21:47.209483Z","signed_message":"canonical_sha256_bytes"},"source_id":"2212.00916","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a4b30b4acc3aa47c2daf1aa4f4bc03571a2ec6125dbbac6a4ffa575f59051721","sha256:948c08e9e1ead5d260d3c735268cf70793b0de6edb6231f3fa5406041d01e8c4"],"state_sha256":"2a55dcfd16bfe02ca8c31729aa658d820a5406e582e99b9f201e8f2ed48d2164"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+sXKnXZMuZbLWmWImN7BHOQlMadqDxJWCCZt8kq7O6FP2bRObufi9zzV241XKt5oJ1RPtxCJ1NQ4/dfpxPr1Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T05:01:19.066504Z","bundle_sha256":"9929e658ca57b659cfe833fd8b8cd7e71b2115cebd6dfe9bf2803b12ad75cede"}}