{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:3AP7UXWLNOHTFN3MNVBNPQGHPW","short_pith_number":"pith:3AP7UXWL","canonical_record":{"source":{"id":"2509.00834","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-08-31T13:07:17Z","cross_cats_sorted":["cs.FL","cs.LG","cs.LO"],"title_canon_sha256":"36e8091f96abd9a0566f92d688cb267737e4be3503489f8229ffdb99b7a9c8fa","abstract_canon_sha256":"a24fe42781e65e4e98f93f10be8ee65d8417a78cba06b9c636bcd8e2f1c6408d"},"schema_version":"1.0"},"canonical_sha256":"d81ffa5ecb6b8f32b76c6d42d7c0c77daa09b3175157fff06772edde4fd529cf","source":{"kind":"arxiv","id":"2509.00834","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.00834","created_at":"2026-06-01T02:03:25Z"},{"alias_kind":"arxiv_version","alias_value":"2509.00834v2","created_at":"2026-06-01T02:03:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.00834","created_at":"2026-06-01T02:03:25Z"},{"alias_kind":"pith_short_12","alias_value":"3AP7UXWLNOHT","created_at":"2026-06-01T02:03:25Z"},{"alias_kind":"pith_short_16","alias_value":"3AP7UXWLNOHTFN3M","created_at":"2026-06-01T02:03:25Z"},{"alias_kind":"pith_short_8","alias_value":"3AP7UXWL","created_at":"2026-06-01T02:03:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:3AP7UXWLNOHTFN3MNVBNPQGHPW","target":"record","payload":{"canonical_record":{"source":{"id":"2509.00834","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-08-31T13:07:17Z","cross_cats_sorted":["cs.FL","cs.LG","cs.LO"],"title_canon_sha256":"36e8091f96abd9a0566f92d688cb267737e4be3503489f8229ffdb99b7a9c8fa","abstract_canon_sha256":"a24fe42781e65e4e98f93f10be8ee65d8417a78cba06b9c636bcd8e2f1c6408d"},"schema_version":"1.0"},"canonical_sha256":"d81ffa5ecb6b8f32b76c6d42d7c0c77daa09b3175157fff06772edde4fd529cf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T02:03:25.960382Z","signature_b64":"nJLWJu/byxqsdHzRDoYE7FX4R0MfG4DBmVCBup6xzc72rzzQN8BOeSK52nBXtUrqNf9qG3RgB1/ltQ4npoRRAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d81ffa5ecb6b8f32b76c6d42d7c0c77daa09b3175157fff06772edde4fd529cf","last_reissued_at":"2026-06-01T02:03:25.959244Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T02:03:25.959244Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.00834","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-06-01T02:03:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HD9SjxMiExOeSe6TGR3U6Cz6qxjdkbOAX4FGq47vHV9N/130onbRcT+s5Kg+SvaDrBPD94aOTYfuszKwqTwsCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:31:34.301509Z"},"content_sha256":"34d450ab5569811b35695c0db0af0f010c35678cb9e69ebbfee3e132fb19b159","schema_version":"1.0","event_id":"sha256:34d450ab5569811b35695c0db0af0f010c35678cb9e69ebbfee3e132fb19b159"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:3AP7UXWLNOHTFN3MNVBNPQGHPW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neuro-Symbolic Predictive Process Monitoring","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.LG","cs.LO"],"primary_cat":"cs.AI","authors_text":"Axel Mezini, Elena Umili, Fabio Patrizi, Fabrizio Maria Maggi, Ivan Donadello, Matteo Mancanelli","submitted_at":"2025-08-31T13:07:17Z","abstract_excerpt":"This paper addresses the problem of suffix prediction in Business Process Management (BPM) by proposing a Neuro-Symbolic Predictive Process Monitoring (PPM) approach that integrates data-driven learning with temporal logic-based prior knowledge. While recent approaches leverage deep learning models for suffix prediction, they often fail to satisfy even basic logical constraints due to the lack of explicit integration of domain knowledge during training. We propose a novel method to incorporate Linear Temporal Logic over finite traces (LTLf) into the training process of autoregressive sequence "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.00834","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/2509.00834/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-06-01T02:03:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GgvdRl87rplGogQahkG34eHh+U3Tp/QC/GxR3cxj8MPryfv0eMD+eYSfNetn25G2+G8r+5iZJUNevOx2I2hGAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:31:34.301891Z"},"content_sha256":"c461fd317e78f1801534c7d4e47f4dcffbdb353cc449933d6a070c1dfc5d15a9","schema_version":"1.0","event_id":"sha256:c461fd317e78f1801534c7d4e47f4dcffbdb353cc449933d6a070c1dfc5d15a9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3AP7UXWLNOHTFN3MNVBNPQGHPW/bundle.json","state_url":"https://pith.science/pith/3AP7UXWLNOHTFN3MNVBNPQGHPW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3AP7UXWLNOHTFN3MNVBNPQGHPW/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-06-02T14:31:34Z","links":{"resolver":"https://pith.science/pith/3AP7UXWLNOHTFN3MNVBNPQGHPW","bundle":"https://pith.science/pith/3AP7UXWLNOHTFN3MNVBNPQGHPW/bundle.json","state":"https://pith.science/pith/3AP7UXWLNOHTFN3MNVBNPQGHPW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3AP7UXWLNOHTFN3MNVBNPQGHPW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:3AP7UXWLNOHTFN3MNVBNPQGHPW","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":"a24fe42781e65e4e98f93f10be8ee65d8417a78cba06b9c636bcd8e2f1c6408d","cross_cats_sorted":["cs.FL","cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-08-31T13:07:17Z","title_canon_sha256":"36e8091f96abd9a0566f92d688cb267737e4be3503489f8229ffdb99b7a9c8fa"},"schema_version":"1.0","source":{"id":"2509.00834","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.00834","created_at":"2026-06-01T02:03:25Z"},{"alias_kind":"arxiv_version","alias_value":"2509.00834v2","created_at":"2026-06-01T02:03:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.00834","created_at":"2026-06-01T02:03:25Z"},{"alias_kind":"pith_short_12","alias_value":"3AP7UXWLNOHT","created_at":"2026-06-01T02:03:25Z"},{"alias_kind":"pith_short_16","alias_value":"3AP7UXWLNOHTFN3M","created_at":"2026-06-01T02:03:25Z"},{"alias_kind":"pith_short_8","alias_value":"3AP7UXWL","created_at":"2026-06-01T02:03:25Z"}],"graph_snapshots":[{"event_id":"sha256:c461fd317e78f1801534c7d4e47f4dcffbdb353cc449933d6a070c1dfc5d15a9","target":"graph","created_at":"2026-06-01T02:03:25Z","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/2509.00834/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper addresses the problem of suffix prediction in Business Process Management (BPM) by proposing a Neuro-Symbolic Predictive Process Monitoring (PPM) approach that integrates data-driven learning with temporal logic-based prior knowledge. While recent approaches leverage deep learning models for suffix prediction, they often fail to satisfy even basic logical constraints due to the lack of explicit integration of domain knowledge during training. We propose a novel method to incorporate Linear Temporal Logic over finite traces (LTLf) into the training process of autoregressive sequence ","authors_text":"Axel Mezini, Elena Umili, Fabio Patrizi, Fabrizio Maria Maggi, Ivan Donadello, Matteo Mancanelli","cross_cats":["cs.FL","cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-08-31T13:07:17Z","title":"Neuro-Symbolic Predictive Process Monitoring"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.00834","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:34d450ab5569811b35695c0db0af0f010c35678cb9e69ebbfee3e132fb19b159","target":"record","created_at":"2026-06-01T02:03:25Z","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":"a24fe42781e65e4e98f93f10be8ee65d8417a78cba06b9c636bcd8e2f1c6408d","cross_cats_sorted":["cs.FL","cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-08-31T13:07:17Z","title_canon_sha256":"36e8091f96abd9a0566f92d688cb267737e4be3503489f8229ffdb99b7a9c8fa"},"schema_version":"1.0","source":{"id":"2509.00834","kind":"arxiv","version":2}},"canonical_sha256":"d81ffa5ecb6b8f32b76c6d42d7c0c77daa09b3175157fff06772edde4fd529cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d81ffa5ecb6b8f32b76c6d42d7c0c77daa09b3175157fff06772edde4fd529cf","first_computed_at":"2026-06-01T02:03:25.959244Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T02:03:25.959244Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nJLWJu/byxqsdHzRDoYE7FX4R0MfG4DBmVCBup6xzc72rzzQN8BOeSK52nBXtUrqNf9qG3RgB1/ltQ4npoRRAA==","signature_status":"signed_v1","signed_at":"2026-06-01T02:03:25.960382Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.00834","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:34d450ab5569811b35695c0db0af0f010c35678cb9e69ebbfee3e132fb19b159","sha256:c461fd317e78f1801534c7d4e47f4dcffbdb353cc449933d6a070c1dfc5d15a9"],"state_sha256":"1fda99027c7074f588344ee13d54e7e2521466c157feb72596af8a4993f032ba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8EkVfrsB79Jp7X7z+nFg43vKQuc1KRE12/u9zDz4JOyRwD4bapHc+CGmFPr7VeSoigq++/lzIzx+NAs2xz23Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T14:31:34.303894Z","bundle_sha256":"055e19332b07ebf6567d93b1f35b13187642709eac44e20e1a359a10ad4e863e"}}