{"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"}