{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ROTG6E2AY2EIJAJPXS656P6GEJ","short_pith_number":"pith:ROTG6E2A","canonical_record":{"source":{"id":"2508.15943","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-21T20:24:20Z","cross_cats_sorted":[],"title_canon_sha256":"491449814af401f6b57e83752895bb43c2033d8d7de1e61e59e4aa3896a493a8","abstract_canon_sha256":"8b0e3dff5cde140cbbe1e67d33445a6ef5bcedd2c1d617403e16696d3dbbedaa"},"schema_version":"1.0"},"canonical_sha256":"8ba66f1340c68884812fbcbddf3fc622596a082b9b9ad6db6b92dfa9fd87c817","source":{"kind":"arxiv","id":"2508.15943","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.15943","created_at":"2026-06-11T01:10:27Z"},{"alias_kind":"arxiv_version","alias_value":"2508.15943v1","created_at":"2026-06-11T01:10:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.15943","created_at":"2026-06-11T01:10:27Z"},{"alias_kind":"pith_short_12","alias_value":"ROTG6E2AY2EI","created_at":"2026-06-11T01:10:27Z"},{"alias_kind":"pith_short_16","alias_value":"ROTG6E2AY2EIJAJP","created_at":"2026-06-11T01:10:27Z"},{"alias_kind":"pith_short_8","alias_value":"ROTG6E2A","created_at":"2026-06-11T01:10:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ROTG6E2AY2EIJAJPXS656P6GEJ","target":"record","payload":{"canonical_record":{"source":{"id":"2508.15943","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-21T20:24:20Z","cross_cats_sorted":[],"title_canon_sha256":"491449814af401f6b57e83752895bb43c2033d8d7de1e61e59e4aa3896a493a8","abstract_canon_sha256":"8b0e3dff5cde140cbbe1e67d33445a6ef5bcedd2c1d617403e16696d3dbbedaa"},"schema_version":"1.0"},"canonical_sha256":"8ba66f1340c68884812fbcbddf3fc622596a082b9b9ad6db6b92dfa9fd87c817","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-11T01:10:27.450903Z","signature_b64":"ojkMHHmO3ZouYLU9mFRP4JgcV5WCi4WqJfATHPXHLa6Ps1ju+PFsSoTXFJCyXD+WmLwvnZoPFy90KfTD9o6zBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8ba66f1340c68884812fbcbddf3fc622596a082b9b9ad6db6b92dfa9fd87c817","last_reissued_at":"2026-06-11T01:10:27.449986Z","signature_status":"signed_v1","first_computed_at":"2026-06-11T01:10:27.449986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.15943","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-06-11T01:10:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j0RvsF4Q1ihZls2PpeFgArsE9/Fro1TzII+ffmPhCJPBNODUZNLFJsMW6YLH1GjXkZzDSdAk9lHS8iwf2LrYAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T03:28:51.468624Z"},"content_sha256":"3ac94485628235313e967b3f31ae79d212583bee715d0b6ee90e3a60318a65e2","schema_version":"1.0","event_id":"sha256:3ac94485628235313e967b3f31ae79d212583bee715d0b6ee90e3a60318a65e2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ROTG6E2AY2EIJAJPXS656P6GEJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"T-ILR: a Neurosymbolic Integration for LTLf","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alessandro Daniele, Andrei Buliga, Chiara Ghidini, Marco Montali, Massimiliano Ronzani, Riccardo Andreoni","submitted_at":"2025-08-21T20:24:20Z","abstract_excerpt":"State-of-the-art approaches for integrating symbolic knowledge with deep learning architectures have demonstrated promising results in static domains. However, methods to handle temporal logic specifications remain underexplored. The only existing approach relies on an explicit representation of a finite-state automaton corresponding to the temporal specification. Instead, we aim at proposing a neurosymbolic framework designed to incorporate temporal logic specifications, expressed in Linear Temporal Logic over finite traces (LTLf), directly into deep learning architectures for sequence-based "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.15943","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/2508.15943/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-11T01:10:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cywGWyTiOZycuM6hvD1G1dppG3QpY2hL+LlmZFA6xpreIPnbjqcFsQelS4kDZgJJMGzzE3xVzhinj8rfFFVtDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T03:28:51.469005Z"},"content_sha256":"f84cea37ecc28b768dd08cbeff28db52baec02e7fc53c1a40cf77ed242f6c113","schema_version":"1.0","event_id":"sha256:f84cea37ecc28b768dd08cbeff28db52baec02e7fc53c1a40cf77ed242f6c113"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/bundle.json","state_url":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/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-28T03:28:51Z","links":{"resolver":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ","bundle":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/bundle.json","state":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ROTG6E2AY2EIJAJPXS656P6GEJ","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":"8b0e3dff5cde140cbbe1e67d33445a6ef5bcedd2c1d617403e16696d3dbbedaa","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-21T20:24:20Z","title_canon_sha256":"491449814af401f6b57e83752895bb43c2033d8d7de1e61e59e4aa3896a493a8"},"schema_version":"1.0","source":{"id":"2508.15943","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.15943","created_at":"2026-06-11T01:10:27Z"},{"alias_kind":"arxiv_version","alias_value":"2508.15943v1","created_at":"2026-06-11T01:10:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.15943","created_at":"2026-06-11T01:10:27Z"},{"alias_kind":"pith_short_12","alias_value":"ROTG6E2AY2EI","created_at":"2026-06-11T01:10:27Z"},{"alias_kind":"pith_short_16","alias_value":"ROTG6E2AY2EIJAJP","created_at":"2026-06-11T01:10:27Z"},{"alias_kind":"pith_short_8","alias_value":"ROTG6E2A","created_at":"2026-06-11T01:10:27Z"}],"graph_snapshots":[{"event_id":"sha256:f84cea37ecc28b768dd08cbeff28db52baec02e7fc53c1a40cf77ed242f6c113","target":"graph","created_at":"2026-06-11T01:10:27Z","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/2508.15943/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"State-of-the-art approaches for integrating symbolic knowledge with deep learning architectures have demonstrated promising results in static domains. However, methods to handle temporal logic specifications remain underexplored. The only existing approach relies on an explicit representation of a finite-state automaton corresponding to the temporal specification. Instead, we aim at proposing a neurosymbolic framework designed to incorporate temporal logic specifications, expressed in Linear Temporal Logic over finite traces (LTLf), directly into deep learning architectures for sequence-based ","authors_text":"Alessandro Daniele, Andrei Buliga, Chiara Ghidini, Marco Montali, Massimiliano Ronzani, Riccardo Andreoni","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-21T20:24:20Z","title":"T-ILR: a Neurosymbolic Integration for LTLf"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.15943","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:3ac94485628235313e967b3f31ae79d212583bee715d0b6ee90e3a60318a65e2","target":"record","created_at":"2026-06-11T01:10:27Z","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":"8b0e3dff5cde140cbbe1e67d33445a6ef5bcedd2c1d617403e16696d3dbbedaa","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-21T20:24:20Z","title_canon_sha256":"491449814af401f6b57e83752895bb43c2033d8d7de1e61e59e4aa3896a493a8"},"schema_version":"1.0","source":{"id":"2508.15943","kind":"arxiv","version":1}},"canonical_sha256":"8ba66f1340c68884812fbcbddf3fc622596a082b9b9ad6db6b92dfa9fd87c817","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8ba66f1340c68884812fbcbddf3fc622596a082b9b9ad6db6b92dfa9fd87c817","first_computed_at":"2026-06-11T01:10:27.449986Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-11T01:10:27.449986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ojkMHHmO3ZouYLU9mFRP4JgcV5WCi4WqJfATHPXHLa6Ps1ju+PFsSoTXFJCyXD+WmLwvnZoPFy90KfTD9o6zBQ==","signature_status":"signed_v1","signed_at":"2026-06-11T01:10:27.450903Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.15943","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ac94485628235313e967b3f31ae79d212583bee715d0b6ee90e3a60318a65e2","sha256:f84cea37ecc28b768dd08cbeff28db52baec02e7fc53c1a40cf77ed242f6c113"],"state_sha256":"07513d41025c4c57e8efb0668bed83a0c59c1205cd98767a08c5440eac37380f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tSW9icu9/UF3EuNsfo4UtTarAtOPc/GW5q5oYvyeoNvxuHLAOt1iqmsC++2UzgVPdoeBpqkukbadL2LgHGQ3Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T03:28:51.470939Z","bundle_sha256":"69f25a0473784d06baf0f97b24cc204caf05d03814901a399298750312f734d2"}}