{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:3G2IHQXDLOFU7EUSDAFXYSHY4E","short_pith_number":"pith:3G2IHQXD","canonical_record":{"source":{"id":"2104.15083","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-30T16:06:03Z","cross_cats_sorted":["cs.AI","cs.FL"],"title_canon_sha256":"9ec6d10770e15fde473737e8eb04e0caef7768bb428ecf71414028a81de1daeb","abstract_canon_sha256":"fe6cf6eb009216551ccbc265cbeaf83f8933ed1b19bd7d6b5152ff41f6d89fc5"},"schema_version":"1.0"},"canonical_sha256":"d9b483c2e35b8b4f9292180b7c48f8e113f6c81330ad32c67534b857941691a2","source":{"kind":"arxiv","id":"2104.15083","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.15083","created_at":"2026-07-05T02:52:16Z"},{"alias_kind":"arxiv_version","alias_value":"2104.15083v2","created_at":"2026-07-05T02:52:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.15083","created_at":"2026-07-05T02:52:16Z"},{"alias_kind":"pith_short_12","alias_value":"3G2IHQXDLOFU","created_at":"2026-07-05T02:52:16Z"},{"alias_kind":"pith_short_16","alias_value":"3G2IHQXDLOFU7EUS","created_at":"2026-07-05T02:52:16Z"},{"alias_kind":"pith_short_8","alias_value":"3G2IHQXD","created_at":"2026-07-05T02:52:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:3G2IHQXDLOFU7EUSDAFXYSHY4E","target":"record","payload":{"canonical_record":{"source":{"id":"2104.15083","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-30T16:06:03Z","cross_cats_sorted":["cs.AI","cs.FL"],"title_canon_sha256":"9ec6d10770e15fde473737e8eb04e0caef7768bb428ecf71414028a81de1daeb","abstract_canon_sha256":"fe6cf6eb009216551ccbc265cbeaf83f8933ed1b19bd7d6b5152ff41f6d89fc5"},"schema_version":"1.0"},"canonical_sha256":"d9b483c2e35b8b4f9292180b7c48f8e113f6c81330ad32c67534b857941691a2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:52:16.189213Z","signature_b64":"zUO2GWONP8IebUzbODtKPgARUVM37UM+F5uMgmK1m7CHEH/LaNSBm9o5tR94EliCBK0FYMapVTgIZIeVVe/vCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d9b483c2e35b8b4f9292180b7c48f8e113f6c81330ad32c67534b857941691a2","last_reissued_at":"2026-07-05T02:52:16.188787Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:52:16.188787Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2104.15083","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-05T02:52:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rQo+0XHpBqrqAY0jImemk7kk6j75Zu5bOZPYKN586ovEicGwxBcNQjXo4dKyXOKYBg8bap6OhrfQUw9U8L1SCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T11:06:52.736828Z"},"content_sha256":"58f8aa5ba4db7973d8c89f402f76a6ac805c371aa650eff87a47243ecd60e1eb","schema_version":"1.0","event_id":"sha256:58f8aa5ba4db7973d8c89f402f76a6ac805c371aa650eff87a47243ecd60e1eb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:3G2IHQXDLOFU7EUSDAFXYSHY4E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.FL"],"primary_cat":"cs.LG","authors_text":"Daniel Neider, Jean-Rapha\\\"el Gaglione, Rajarshi Roy, Ufuk Topcu, Zhe Xu","submitted_at":"2021-04-30T16:06:03Z","abstract_excerpt":"We address the problem of inferring descriptions of system behavior using Linear Temporal Logic (LTL) from a finite set of positive and negative examples. Most of the existing approaches for solving such a task rely on predefined templates for guiding the structure of the inferred formula. The approaches that can infer arbitrary LTL formulas, on the other hand, are not robust to noise in the data. To alleviate such limitations, we devise two algorithms for inferring concise LTL formulas even in the presence of noise. Our first algorithm infers minimal LTL formulas by reducing the inference pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.15083","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/2104.15083/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-05T02:52:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RKAZhEg1CaNhTrX8hczuX/6q48ig6DkMf3sHz711DipMMPpUyDP8th5sDl1xto2m90T2Abm8D8BSAB3Jtv8hDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T11:06:52.737187Z"},"content_sha256":"7055274a9b470864e2ce86844d92fd2973bd54767f8279983e5db92cd2e0e8f6","schema_version":"1.0","event_id":"sha256:7055274a9b470864e2ce86844d92fd2973bd54767f8279983e5db92cd2e0e8f6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3G2IHQXDLOFU7EUSDAFXYSHY4E/bundle.json","state_url":"https://pith.science/pith/3G2IHQXDLOFU7EUSDAFXYSHY4E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3G2IHQXDLOFU7EUSDAFXYSHY4E/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-20T11:06:52Z","links":{"resolver":"https://pith.science/pith/3G2IHQXDLOFU7EUSDAFXYSHY4E","bundle":"https://pith.science/pith/3G2IHQXDLOFU7EUSDAFXYSHY4E/bundle.json","state":"https://pith.science/pith/3G2IHQXDLOFU7EUSDAFXYSHY4E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3G2IHQXDLOFU7EUSDAFXYSHY4E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:3G2IHQXDLOFU7EUSDAFXYSHY4E","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":"fe6cf6eb009216551ccbc265cbeaf83f8933ed1b19bd7d6b5152ff41f6d89fc5","cross_cats_sorted":["cs.AI","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-30T16:06:03Z","title_canon_sha256":"9ec6d10770e15fde473737e8eb04e0caef7768bb428ecf71414028a81de1daeb"},"schema_version":"1.0","source":{"id":"2104.15083","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.15083","created_at":"2026-07-05T02:52:16Z"},{"alias_kind":"arxiv_version","alias_value":"2104.15083v2","created_at":"2026-07-05T02:52:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.15083","created_at":"2026-07-05T02:52:16Z"},{"alias_kind":"pith_short_12","alias_value":"3G2IHQXDLOFU","created_at":"2026-07-05T02:52:16Z"},{"alias_kind":"pith_short_16","alias_value":"3G2IHQXDLOFU7EUS","created_at":"2026-07-05T02:52:16Z"},{"alias_kind":"pith_short_8","alias_value":"3G2IHQXD","created_at":"2026-07-05T02:52:16Z"}],"graph_snapshots":[{"event_id":"sha256:7055274a9b470864e2ce86844d92fd2973bd54767f8279983e5db92cd2e0e8f6","target":"graph","created_at":"2026-07-05T02:52:16Z","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/2104.15083/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We address the problem of inferring descriptions of system behavior using Linear Temporal Logic (LTL) from a finite set of positive and negative examples. Most of the existing approaches for solving such a task rely on predefined templates for guiding the structure of the inferred formula. The approaches that can infer arbitrary LTL formulas, on the other hand, are not robust to noise in the data. To alleviate such limitations, we devise two algorithms for inferring concise LTL formulas even in the presence of noise. Our first algorithm infers minimal LTL formulas by reducing the inference pro","authors_text":"Daniel Neider, Jean-Rapha\\\"el Gaglione, Rajarshi Roy, Ufuk Topcu, Zhe Xu","cross_cats":["cs.AI","cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-30T16:06:03Z","title":"Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.15083","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:58f8aa5ba4db7973d8c89f402f76a6ac805c371aa650eff87a47243ecd60e1eb","target":"record","created_at":"2026-07-05T02:52:16Z","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":"fe6cf6eb009216551ccbc265cbeaf83f8933ed1b19bd7d6b5152ff41f6d89fc5","cross_cats_sorted":["cs.AI","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-30T16:06:03Z","title_canon_sha256":"9ec6d10770e15fde473737e8eb04e0caef7768bb428ecf71414028a81de1daeb"},"schema_version":"1.0","source":{"id":"2104.15083","kind":"arxiv","version":2}},"canonical_sha256":"d9b483c2e35b8b4f9292180b7c48f8e113f6c81330ad32c67534b857941691a2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d9b483c2e35b8b4f9292180b7c48f8e113f6c81330ad32c67534b857941691a2","first_computed_at":"2026-07-05T02:52:16.188787Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:52:16.188787Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zUO2GWONP8IebUzbODtKPgARUVM37UM+F5uMgmK1m7CHEH/LaNSBm9o5tR94EliCBK0FYMapVTgIZIeVVe/vCA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:52:16.189213Z","signed_message":"canonical_sha256_bytes"},"source_id":"2104.15083","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:58f8aa5ba4db7973d8c89f402f76a6ac805c371aa650eff87a47243ecd60e1eb","sha256:7055274a9b470864e2ce86844d92fd2973bd54767f8279983e5db92cd2e0e8f6"],"state_sha256":"13476fa6591837f723fa075b7223e3daeba99a2075571030cc3147596d89f0f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cJBqSNryXohDDqp90wxUGCXGNAQ56ukIRPhfzLFZF3cv+lM+dMEOC4MqU10Wk7cllt1u4HpSOGlc4TO6UPHMAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-20T11:06:52.739260Z","bundle_sha256":"634d525228f7463a9bda19717047ff71eec1c12472e8716fb424e7da53dbc526"}}