{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:ROTG6E2AY2EIJAJPXS656P6GEJ","short_pith_number":"pith:ROTG6E2A","schema_version":"1.0","canonical_sha256":"8ba66f1340c68884812fbcbddf3fc622596a082b9b9ad6db6b92dfa9fd87c817","source":{"kind":"arxiv","id":"2508.15943","version":1},"attestation_state":"computed","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 "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2508.15943","created_at":"2026-06-11T01:10:27.450131+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.15943v1","created_at":"2026-06-11T01:10:27.450131+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.15943","created_at":"2026-06-11T01:10:27.450131+00:00"},{"alias_kind":"pith_short_12","alias_value":"ROTG6E2AY2EI","created_at":"2026-06-11T01:10:27.450131+00:00"},{"alias_kind":"pith_short_16","alias_value":"ROTG6E2AY2EIJAJP","created_at":"2026-06-11T01:10:27.450131+00:00"},{"alias_kind":"pith_short_8","alias_value":"ROTG6E2A","created_at":"2026-06-11T01:10:27.450131+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ","json":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ.json","graph_json":"https://pith.science/api/pith-number/ROTG6E2AY2EIJAJPXS656P6GEJ/graph.json","events_json":"https://pith.science/api/pith-number/ROTG6E2AY2EIJAJPXS656P6GEJ/events.json","paper":"https://pith.science/paper/ROTG6E2A"},"agent_actions":{"view_html":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ","download_json":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ.json","view_paper":"https://pith.science/paper/ROTG6E2A","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.15943&json=true","fetch_graph":"https://pith.science/api/pith-number/ROTG6E2AY2EIJAJPXS656P6GEJ/graph.json","fetch_events":"https://pith.science/api/pith-number/ROTG6E2AY2EIJAJPXS656P6GEJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/action/storage_attestation","attest_author":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/action/author_attestation","sign_citation":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/action/citation_signature","submit_replication":"https://pith.science/pith/ROTG6E2AY2EIJAJPXS656P6GEJ/action/replication_record"}},"created_at":"2026-06-11T01:10:27.450131+00:00","updated_at":"2026-06-11T01:10:27.450131+00:00"}