{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:Q43W7JUKLWYKQWJCUSW4VJEF2I","short_pith_number":"pith:Q43W7JUK","canonical_record":{"source":{"id":"2507.17482","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-23T13:04:13Z","cross_cats_sorted":[],"title_canon_sha256":"6c5c5aeb978d8f9912927e2fcce6356820a65bd8aadb408d30c81b9d2ae43922","abstract_canon_sha256":"7aad6086726e4c6c214de9fa0150e2e4a4b0124ba04385e96040c8af322588d7"},"schema_version":"1.0"},"canonical_sha256":"87376fa68a5db0a85922a4adcaa485d228a5146a7470c92139e5dcf31db64002","source":{"kind":"arxiv","id":"2507.17482","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.17482","created_at":"2026-07-05T11:42:08Z"},{"alias_kind":"arxiv_version","alias_value":"2507.17482v1","created_at":"2026-07-05T11:42:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.17482","created_at":"2026-07-05T11:42:08Z"},{"alias_kind":"pith_short_12","alias_value":"Q43W7JUKLWYK","created_at":"2026-07-05T11:42:08Z"},{"alias_kind":"pith_short_16","alias_value":"Q43W7JUKLWYKQWJC","created_at":"2026-07-05T11:42:08Z"},{"alias_kind":"pith_short_8","alias_value":"Q43W7JUK","created_at":"2026-07-05T11:42:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:Q43W7JUKLWYKQWJCUSW4VJEF2I","target":"record","payload":{"canonical_record":{"source":{"id":"2507.17482","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-23T13:04:13Z","cross_cats_sorted":[],"title_canon_sha256":"6c5c5aeb978d8f9912927e2fcce6356820a65bd8aadb408d30c81b9d2ae43922","abstract_canon_sha256":"7aad6086726e4c6c214de9fa0150e2e4a4b0124ba04385e96040c8af322588d7"},"schema_version":"1.0"},"canonical_sha256":"87376fa68a5db0a85922a4adcaa485d228a5146a7470c92139e5dcf31db64002","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:42:08.711192Z","signature_b64":"vrGx6Z+qtf1yBI81o3jvzg4Tr8ghT8UeBG3Bq1bmljsjj0OUpT/yDKiWesPUvIuP/PNmkkT7zVEM7vNpqJOoAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"87376fa68a5db0a85922a4adcaa485d228a5146a7470c92139e5dcf31db64002","last_reissued_at":"2026-07-05T11:42:08.710500Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:42:08.710500Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.17482","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-07-05T11:42:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"06+9IQY7tM26G70m2Nk/98qfsWmYhQS4YRSDNeutohES5OqClpthzdsjsoJHYoD22CGnbk6FXqqBSY4K2OyIAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T06:54:32.430289Z"},"content_sha256":"c9069372cdd93e5770862500995666ca0fd33836f76441fd79ceb0dc234543a9","schema_version":"1.0","event_id":"sha256:c9069372cdd93e5770862500995666ca0fd33836f76441fd79ceb0dc234543a9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:Q43W7JUKLWYKQWJCUSW4VJEF2I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Luca Salvatore Lorello, Marco Lippi, Nikolaos Manginas, Stefano Melacci","submitted_at":"2025-07-23T13:04:13Z","abstract_excerpt":"Neuro-symbolic artificial intelligence aims to combine neural architectures with symbolic approaches that can represent knowledge in a human-interpretable formalism. Continual learning concerns with agents that expand their knowledge over time, improving their skills while avoiding to forget previously learned concepts. Most of the existing approaches for neuro-symbolic artificial intelligence are applied to static scenarios only, and the challenging setting where reasoning along the temporal dimension is necessary has been seldom explored. In this work we introduce LTLZinc, a benchmarking fra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.17482","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/2507.17482/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-05T11:42:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZUEOd8gMSHZ8WKfFRBBLUgXMKvLcNhtr8nnrVOo5oGveI2deIthMx2NdedC+Tfm2ipYyHcm/unNzVVSD9HAxBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T06:54:32.430877Z"},"content_sha256":"a436bd3d987de804fbbc05ac97f4a6a3d51607002d0a7147420c09d05aa1d32f","schema_version":"1.0","event_id":"sha256:a436bd3d987de804fbbc05ac97f4a6a3d51607002d0a7147420c09d05aa1d32f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q43W7JUKLWYKQWJCUSW4VJEF2I/bundle.json","state_url":"https://pith.science/pith/Q43W7JUKLWYKQWJCUSW4VJEF2I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q43W7JUKLWYKQWJCUSW4VJEF2I/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-08-10T06:54:32Z","links":{"resolver":"https://pith.science/pith/Q43W7JUKLWYKQWJCUSW4VJEF2I","bundle":"https://pith.science/pith/Q43W7JUKLWYKQWJCUSW4VJEF2I/bundle.json","state":"https://pith.science/pith/Q43W7JUKLWYKQWJCUSW4VJEF2I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q43W7JUKLWYKQWJCUSW4VJEF2I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:Q43W7JUKLWYKQWJCUSW4VJEF2I","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":"7aad6086726e4c6c214de9fa0150e2e4a4b0124ba04385e96040c8af322588d7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-23T13:04:13Z","title_canon_sha256":"6c5c5aeb978d8f9912927e2fcce6356820a65bd8aadb408d30c81b9d2ae43922"},"schema_version":"1.0","source":{"id":"2507.17482","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.17482","created_at":"2026-07-05T11:42:08Z"},{"alias_kind":"arxiv_version","alias_value":"2507.17482v1","created_at":"2026-07-05T11:42:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.17482","created_at":"2026-07-05T11:42:08Z"},{"alias_kind":"pith_short_12","alias_value":"Q43W7JUKLWYK","created_at":"2026-07-05T11:42:08Z"},{"alias_kind":"pith_short_16","alias_value":"Q43W7JUKLWYKQWJC","created_at":"2026-07-05T11:42:08Z"},{"alias_kind":"pith_short_8","alias_value":"Q43W7JUK","created_at":"2026-07-05T11:42:08Z"}],"graph_snapshots":[{"event_id":"sha256:a436bd3d987de804fbbc05ac97f4a6a3d51607002d0a7147420c09d05aa1d32f","target":"graph","created_at":"2026-07-05T11:42:08Z","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/2507.17482/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neuro-symbolic artificial intelligence aims to combine neural architectures with symbolic approaches that can represent knowledge in a human-interpretable formalism. Continual learning concerns with agents that expand their knowledge over time, improving their skills while avoiding to forget previously learned concepts. Most of the existing approaches for neuro-symbolic artificial intelligence are applied to static scenarios only, and the challenging setting where reasoning along the temporal dimension is necessary has been seldom explored. In this work we introduce LTLZinc, a benchmarking fra","authors_text":"Luca Salvatore Lorello, Marco Lippi, Nikolaos Manginas, Stefano Melacci","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.17482","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:c9069372cdd93e5770862500995666ca0fd33836f76441fd79ceb0dc234543a9","target":"record","created_at":"2026-07-05T11:42:08Z","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":"7aad6086726e4c6c214de9fa0150e2e4a4b0124ba04385e96040c8af322588d7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-23T13:04:13Z","title_canon_sha256":"6c5c5aeb978d8f9912927e2fcce6356820a65bd8aadb408d30c81b9d2ae43922"},"schema_version":"1.0","source":{"id":"2507.17482","kind":"arxiv","version":1}},"canonical_sha256":"87376fa68a5db0a85922a4adcaa485d228a5146a7470c92139e5dcf31db64002","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"87376fa68a5db0a85922a4adcaa485d228a5146a7470c92139e5dcf31db64002","first_computed_at":"2026-07-05T11:42:08.710500Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:42:08.710500Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vrGx6Z+qtf1yBI81o3jvzg4Tr8ghT8UeBG3Bq1bmljsjj0OUpT/yDKiWesPUvIuP/PNmkkT7zVEM7vNpqJOoAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:42:08.711192Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.17482","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c9069372cdd93e5770862500995666ca0fd33836f76441fd79ceb0dc234543a9","sha256:a436bd3d987de804fbbc05ac97f4a6a3d51607002d0a7147420c09d05aa1d32f"],"state_sha256":"be8480c0aad6070bb0d8fadc691e9b2d2522309737949d396365dffadca82373"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2YXWjQt8E58Dh0qNDqXAlqhn1Z/2tYgI55qMQGfip17QwOEQO7wQqHU+nntwQmWL7zxqTnTuhMBFj2AD+A0mDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T06:54:32.436720Z","bundle_sha256":"9b92ee30bcca73fb7cc2ddebbc1a7972e8bfff468b707d171b764afc7677898c"}}