{"as_of":"2026-08-18T06:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c11afbe2a348564f8204821ad4ebc10a22c53c39d909786a0dd71658bbe2e13a","coverage":[{"denominator":118,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T14:53:03.849968Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2507.17482/citation-record","integrity":"/paper/2507.17482/integrity","json":"/paper/2507.17482/citation-record.json","paper":"/paper/2507.17482"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.565472Z","title":"P., and Singh, S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.565472Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:f63f832ed6f795191dc7216a7b174d0cd1bc6252e5fec5735eea65038356ac68","observation_id":"6fd258a2-637c-4ef0-9592-15096df69402","resolution":{"observed_at":"2026-08-06T14:53:03.565472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.569129Z","title":"Task-free continual learning","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.569129Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:38ca5912edc24b1b498d90023e50f1e4256216c896a3fe03eef10667c80192aa","observation_id":"f2c23684-6b16-4b2d-98fa-40f4b7d59f41","resolution":{"observed_at":"2026-08-06T14:53:03.569129Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.572236Z","title":"Gradient based sample selection for online continual learning","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.572236Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:ca08d7a31dd0f7284a04dd9665544957b153856996116e530d1c4f693f7e2058","observation_id":"cf67709f-0f5c-4516-b717-36ecc1e9ed2e","resolution":{"observed_at":"2026-08-06T14:53:03.572236Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.575133Z","title":"d., Serafini, L., and Spranger, M","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.575133Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:99ed3b6bb9573a72c23977fe9da368e2f228be8f86138ed7c59a59ebb245049e","observation_id":"0b80922d-4f6a-49be-93bf-9d698479fe98","resolution":{"observed_at":"2026-08-06T14:53:03.575133Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.578051Z","title":"Rainbow memory: Continual learning with a memory of diverse samples","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.578051Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:2c87a3d88c9d19e7bf96d4a6d74f8b227f1a4542a191a64da96de870fc0d4030","observation_id":"f5de9d45-79c7-4c32-9c88-2a5d7c3c33b2","resolution":{"observed_at":"2026-08-06T14:53:03.578051Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.580924Z","title":"R., d’A vila Garcez, A., Bader, S., Bowman, H., Domingos, P., Hitzler, P., K ¨uhnberger, K.-U., Lamb, L","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.580924Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:936f43720bb3eeb80f127ed28797570ddff4b6b1dd05f8ce776668ad446b753b","observation_id":"ae3d8b54-5ba9-4b65-be2c-bfd4857a2f78","resolution":{"observed_at":"2026-08-06T14:53:03.580924Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06434","last_updated":"2025-06-13T03:54:03Z","snapshot_observed_at":"2026-08-16T14:19:53.136030Z","submitted_at":"2024-02-09T14:24:18Z","title":"Where is the Truth? The Risk of Getting Confounded in a Continual World","version":3},"cited_work":{"arxiv_id":"2402.06434","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.06434","snapshot_observed_at":"2026-08-06T14:53:04.231463Z","title":"Where is the Truth? The Risk of Getting Confounded in a Continual World","venue":"cs.LG","work_id":"7cc9e9a0-f4de-419c-84ee-e12c5e84c0d6","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.584140Z"},"links":{"cited_paper":"/paper/2402.06434","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:1fb95898e99be81d8ecadabe9c72197d5d0fbcb16ced166bf97a324b3dcbc013","observation_id":"3ee331ea-cbf1-42c7-9faa-d66d9d33246d","resolution":{"observed_at":"2026-08-06T14:53:04.235306Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.587214Z","title":"Neuro-symbolic artificial intelligence for safety engineering","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.587214Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:b4bd1572112cb673f597b12ffbc82ebb4de95fc041f25080e01e338e32e14734","observation_id":"6ff5aac3-d33b-437a-a17c-fd4a80900df6","resolution":{"observed_at":"2026-08-06T14:53:03.587214Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.590150Z","title":"Pitfalls in processing infinite-length sequences with pop- ular approaches for sequential data","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.590150Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:74ec61c0c05aac726b1e1acc978fc2b01e0017e389641b2c833b026aa62fcac6","observation_id":"e1e7693e-fce8-4026-ab7b-6242abbdf43f","resolution":{"observed_at":"2026-08-06T14:53:03.590150Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.593102Z","title":"On probabilistic inference by weighted model counting","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.593102Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:4bdd54da4345ab8e392528f1814b1c2292486784db94c014bf8381d4b3c53302","observation_id":"1e044a7a-aa39-4181-9ab7-f2f181a19034","resolution":{"observed_at":"2026-08-06T14:53:03.593102Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.596519Z","title":"Towards neuro-symbolic video understanding","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.596519Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:0d6cc9f404bbf933a3d24347622ec8e08bc79ad2e5d964ec860bc3b6ec940d2d","observation_id":"1f0d5817-9139-49d5-9982-97a2af12c96b","resolution":{"observed_at":"2026-08-06T14:53:03.596519Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.599253Z","title":"Online continual learning from imbalanced data","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.599253Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:8a15806a0057a73797297c145fa3f3ede8909d17cc942c2c272534160e2a8365","observation_id":"e22d328c-0f7f-4a66-970d-c6efb539b48a","resolution":{"observed_at":"2026-08-06T14:53:03.599253Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.17667","last_updated":"2024-06-28T10:40:26Z","snapshot_observed_at":"2026-08-16T14:39:14.798860Z","submitted_at":"2023-11-29T14:30:16Z","title":"TimeBench: A Comprehensive Evaluation of Temporal Reasoning Abilities in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.17667","snapshot_observed_at":"2026-08-06T14:53:03.602018Z","title":"Timebench: A comprehensive evaluation of temporal reasoning abilities in large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.602018Z"},"links":{"cited_paper":"/paper/2311.17667","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:8850cdb290a075e8eea955a8acc94f5e979704e360d7989c38ff5aaf61f782b1","observation_id":"0da581eb-c4ba-4a0f-8fb7-430121e8e573","resolution":{"observed_at":"2026-08-06T14:53:03.602018Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.605088Z","title":"Nusmv 2: An opensource tool for symbolic model checking","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.605088Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:5f0dba6ca7f49bd7996e1c35f989a9727454b65fb4eff41b99aa8e262b02a609","observation_id":"b024bb44-82f0-4f58-a0f8-72b4d5c02cdf","resolution":{"observed_at":"2026-08-06T14:53:03.605088Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.607893Z","title":"A knowledge compilation map","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.607893Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:e55f95587868581200407b7b44158dd0e0c41881134513f8b75630b5cabedafa","observation_id":"c97e2972-ce69-46d3-8dbe-ebc0d619f7c0","resolution":{"observed_at":"2026-08-06T14:53:03.607893Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.610642Z","title":"Y.Linear temporal logic and linear dynamic logic on finite traces","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.610642Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:dbd9ed89771570d0316028a96de161f0d58d20c2c618c02c51410315d8928089","observation_id":"ee9d4ad2-00be-419c-bdc4-c638baaacb9d","resolution":{"observed_at":"2026-08-06T14:53:03.610642Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.613933Z","title":"A contin- ual learning survey: Defying forgetting in classification tasks","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.613933Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:be6a8bea28561dbd896fc344fdcdf672fb6cdddfe80b805972c64fe95f97347f","observation_id":"bb244506-623f-4605-9b61-ea0b03b6d34c","resolution":{"observed_at":"2026-08-06T14:53:03.613933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.616764Z","title":"From statistical relational to neuro-symbolic artificial intelligence","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.616764Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:5fc238602ca8ab074948f49b2ea038301ff63cc5d0e07f7ce053578582c158a6","observation_id":"ce957b84-12d6-4569-baed-ad0a9bab107a","resolution":{"observed_at":"2026-08-06T14:53:03.616764Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.619916Z","title":"Synthesis lectures on artificial intelligence and machine learning 10, 2 (2016), 1–189","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.619916Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:7fc723318b5a074f8d4182d5b3964b5de8048128ee45d91ba082c607897ab6dd","observation_id":"92c02d9c-6c74-4455-9916-87a33a6ada28","resolution":{"observed_at":"2026-08-06T14:53:03.619916Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.622756Z","title":"Problog: A prob- abilistic prolog and its application in link discovery","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.622756Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:f3d29d4ed9c32606200cbd10ea7e2ed0f201ada84ed16431b5d75e7ce6bac45f","observation_id":"98c06408-9ce0-46fe-9f4d-a24ae36ab68e","resolution":{"observed_at":"2026-08-06T14:53:03.622756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.625456Z","title":"B., A vrunin, G","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.625456Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:9fe95e1f886e182cb686d4642295c8cda896a825f6a570499598f3885e2335d6","observation_id":"13f37da8-8bc5-48bc-9d9e-0721fbd7cf7d","resolution":{"observed_at":"2026-08-06T14:53:03.625456Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.628281Z","title":"M., Trzcinski, T., Tuytelaars, T., and Bethge, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.628281Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:5d395cf6bef123cd000e01bc303760dc245332c3242f7caec7c8df0a2fdb938d","observation_id":"6dd0cbe0-dc32-4cc2-9236-550e27eb62ab","resolution":{"observed_at":"2026-08-06T14:53:03.628281Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.630847Z","title":"Neural computation 27, 2 (2015), 388–480","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.630847Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:6b9a43aa741b32842504c1433174392f2a49a0bb25e7893dd3b7212f53815ee0","observation_id":"3594c1db-da28-437f-93cb-bb58a81e6819","resolution":{"observed_at":"2026-08-06T14:53:03.630847Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.06938","last_updated":"2023-09-15T09:21:02Z","snapshot_observed_at":"2026-08-16T15:01:03.244536Z","submitted_at":"2023-09-13T13:20:17Z","title":"Collectionless Artificial Intelligence","version":2},"cited_work":{"arxiv_id":"2309.06938","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.06938","snapshot_observed_at":"2026-08-06T14:53:04.208786Z","title":"Collectionless Artificial Intelligence","venue":"cs.AI","work_id":"b5382c83-fd2b-4d55-bb8d-bd20977a24f9","year":2023},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.633630Z"},"links":{"cited_paper":"/paper/2309.06938","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:188cf4d839034aea1ccc98c0779dcaaf70788c560afcdadcd541b07e624a0a6d","observation_id":"3efa109d-3df2-4394-aadf-ba0bb67e4f2f","resolution":{"observed_at":"2026-08-06T14:53:04.212292Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.636861Z","title":"Task-incremental learning on long text sequences","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.636861Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:b85a61ebe1f0c5165bcb833d51955870ff6321e998aeb458353fe59b1d644fb7","observation_id":"9446504d-5141-4df4-ac3d-1916271ee038","resolution":{"observed_at":"2026-08-06T14:53:03.636861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.639558Z","title":"J., Karvounarakis, G., and Tannen, V","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.639558Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:120b34497e1e239122192639b876d8c356147eb3471c40ffee6dd3c069b50f1b","observation_id":"e4126ea4-703e-4b22-80a2-84b3905a29e9","resolution":{"observed_at":"2026-08-06T14:53:03.639558Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.04218","last_updated":"2021-02-18T12:41:20Z","snapshot_observed_at":"2026-07-06T09:03:22.521546Z","submitted_at":"2020-03-06T14:46:49Z","title":"Teaching Temporal Logics to Neural Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.04218","snapshot_observed_at":"2026-08-06T14:53:03.642598Z","title":"U., Rabe, M","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.642598Z"},"links":{"cited_paper":"/paper/2003.04218","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:cebaf43148bcfc47880eff894d98096ad3c19d70935fda9819e30218ec6f6eee","observation_id":"f81e31a8-b561-4826-b4dc-2094182e1a9b","resolution":{"observed_at":"2026-08-06T14:53:03.642598Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.645610Z","title":"Class-incremental learning with repetition","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.645610Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:67c88aa9d12a55fa53a6bf516ab95122f4e5f0a8af555f8faaaffc475c876c46","observation_id":"a4bc39b9-a601-4f95-a46c-37c571d4f5bf","resolution":{"observed_at":"2026-08-06T14:53:03.645610Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.13460","last_updated":"2026-08-14T18:21:51Z","snapshot_observed_at":"2026-08-18T05:12:10.996115Z","submitted_at":"2025-04-18T04:35:35Z","title":"Chain-of-Evidence Multimodal Reasoning for Few-shot Temporal Action Localization","version":6},"cited_work":{"arxiv_id":"2504.13460","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":"2504.13460","snapshot_observed_at":"2026-08-18T01:11:47.031980Z","title":"Chain-of-thought textual reasoning for few-shot temporal action localization","venue":null,"work_id":"ab637783-75e3-4fa7-90b6-e62e9b849a2f","year":2025},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.648566Z"},"links":{"cited_paper":"/paper/2504.13460","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:983f575317767b9a01f34dfd3c89ee89b72fea9fb5588fe937dc467cb8106d01","observation_id":"b47f1229-323d-4431-b4e9-f7f884df7894","resolution":{"observed_at":"2026-08-18T01:11:47.031980Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.651341Z","title":"Algebraic model counting","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.651341Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:dd4062404ad378e28446c9849918b6514007c6d43bf8ffd4b53e25fa454374cb","observation_id":"14aa47ca-f9a8-4bfb-af27-de280390ef00","resolution":{"observed_at":"2026-08-06T14:53:03.651341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.654059Z","title":"Learning multiple layers of features from tiny images","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.654059Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:e5b64b16e229dd0774ce7076fdd51670b86bcf3d948d98e4c885fdb61afb68aa","observation_id":"a6695ae3-c263-4973-b6a9-84b0cbb7690a","resolution":{"observed_at":"2026-08-06T14:53:03.654059Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.657040Z","title":"Gradient- based learning applied to document recognition","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.657040Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:70080e9ab38ae1de9b675d8d8be8fdcce44cc3bcd4c5bb650ace821b82b5276a","observation_id":"6031c1d7-6dd8-4e4b-8431-e84e11bebfe7","resolution":{"observed_at":"2026-08-06T14:53:03.657040Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.659875Z","title":"R., Charlin, L., and Rish, I","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.659875Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:bf30709947b526f0262a9135c3f4292924c480c2d5ba7c0f9135565ea2b9339f","observation_id":"fa4c8ae6-3652-4e05-8c44-4ab674e9ffbb","resolution":{"observed_at":"2026-08-06T14:53:03.659875Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.662688Z","title":"Interpretable deep learning: Interpretation, inter- pretability, trustworthiness, and beyond","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.662688Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:319cc1359eac9ca6da785caa69fc2a6683f76a2f1f1a45c9361992b038439d5a","observation_id":"57bfc980-4214-4da5-aa0a-f9b2ec1c97a1","resolution":{"observed_at":"2026-08-06T14:53:03.662688Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.665908Z","title":"Learning without forgetting","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.665908Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:fab730ab281212a888ccedbdc4202e67c35501b1d140c2f0e5d6827ef70f5f0f","observation_id":"31409128-d915-43e9-a3ab-4ff4ccf9da44","resolution":{"observed_at":"2026-08-06T14:53:03.665908Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.668672Z","title":"Scallop: A language for neu- rosymbolic programming","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.668672Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:4e2c49a91812f32ad1aa409cb939f1d93f6f9c242c092d0d3318a8fa5d0c3aee","observation_id":"e6afa8ed-2d26-42af-b8d2-034ada141e95","resolution":{"observed_at":"2026-08-06T14:53:03.668672Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.671438Z","title":"The clear bench- mark: Continual learning on real-world imagery","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.671438Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:cd5c4d75734e115731f04046b52d57a1f1ead5519654439722aaf68521b2788e","observation_id":"4942c979-3a6f-4624-9559-009761dbca28","resolution":{"observed_at":"2026-08-06T14:53:03.671438Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.674148Z","title":"Core50: a new dataset and bench- mark for continuous object recognition","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.674148Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:c20f94437173381a9b2498d2a4ab443d9f479f3c1d2176c1e1b18290b9d7376e","observation_id":"5d8a5d4e-c1e6-4e9a-9314-8b594e64cf38","resolution":{"observed_at":"2026-08-06T14:53:03.674148Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.676797Z","title":"L., De Lange, M., Masana, M., Pomponi, J., V an de Ven, G","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.676797Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:916a1d8f828118e8c2dd9080bee04b122e52a4631f4b1d7cb6ab3c82c86eb5f2","observation_id":"bc0feaba-91aa-42ee-8b49-5d4912e099ad","resolution":{"observed_at":"2026-08-06T14:53:03.676797Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.679613Z","title":"Gradient episodic memory for continual learning","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.679613Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:e5f6ae7a43bb7fbb0a9df06b37f6edfff4288c2e0c3198b618787a11767c6510","observation_id":"5d9b6481-45b1-4733-87b7-1a02455c3c19","resolution":{"observed_at":"2026-08-06T14:53:03.679613Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.682374Z","title":"S., Lippi, M., and Melacci, S","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.682374Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:d58da39c53722d2b819b539cd2874552dae20eb964998ef7947267caed96a5a6","observation_id":"9ff446b9-49dc-4140-9167-51f4773deead","resolution":{"observed_at":"2026-08-06T14:53:03.682374Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.17431","last_updated":"2024-02-27T11:43:41Z","snapshot_observed_at":"2026-08-16T14:14:56.444155Z","submitted_at":"2024-02-27T11:43:41Z","title":"The KANDY Benchmark: Incremental Neuro-Symbolic Learning and Reasoning with Kandinsky Patterns","version":1},"cited_work":{"arxiv_id":"2402.17431","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.17431","snapshot_observed_at":"2026-08-06T14:53:04.105380Z","title":"The KANDY Benchmark: Incremental Neuro-Symbolic Learning and Reasoning with Kandinsky Patterns","venue":"cs.AI","work_id":"0fd71b7a-2ce2-45ba-a9b2-d8769afec209","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.685065Z"},"links":{"cited_paper":"/paper/2402.17431","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:1551564eda446aa01794f3ccc41fdfbaa58a99e9d36ca886e54028b5fdb05988","observation_id":"8c81d59c-1a48-4d8f-95b1-5c7c45ba5601","resolution":{"observed_at":"2026-08-06T14:53:04.108813Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"cited_work":{"arxiv_id":"2505.05106","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.05106","snapshot_observed_at":"2026-08-06T14:53:04.091727Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","venue":"cs.AI","work_id":"c89eef15-7fe9-4c83-94d8-4d6a1e60b7c0","year":2025},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.688404Z"},"links":{"cited_paper":"/paper/2505.05106","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:b32eb353e6dde33b22b8b6ab4165d78d26245365588874a62b850121407e8834","observation_id":"26ac6f65-29c5-4f64-b969-02632f00e195","resolution":{"observed_at":"2026-08-06T14:53:04.095506Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.04472","last_updated":"2024-06-06T19:56:33Z","snapshot_observed_at":"2026-08-16T13:45:22.060184Z","submitted_at":"2024-06-06T19:56:33Z","title":"On the Hardness of Probabilistic Neurosymbolic Learning","version":1},"cited_work":{"arxiv_id":"2406.04472","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.04472","snapshot_observed_at":"2026-08-06T14:53:04.078221Z","title":"On the Hardness of Probabilistic Neurosymbolic Learning","venue":"cs.LG","work_id":"e5cac47e-a39d-4d63-934e-f894abce57f9","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.691403Z"},"links":{"cited_paper":"/paper/2406.04472","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:fbd56d3ab6a211bad27f85520515337deb26ae17f80abae2c16d91b33737bcfa","observation_id":"7853b9db-e992-4884-9211-b5e0fb6ab958","resolution":{"observed_at":"2026-08-06T14:53:04.081950Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.694349Z","title":"Online continual learning in image classification: An empirical survey","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.694349Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:f08824f9d69fc3ed5bdd01bd6975ddb22dd8279cf8150b9aaeed4c355a745fe9","observation_id":"6956fa9f-a99e-4e7e-9824-a2b056097e09","resolution":{"observed_at":"2026-08-06T14:53:03.694349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.697229Z","title":"Continuous learning in single- incremental-task scenarios","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.697229Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:51d69c565f46a3e482f682a2981877482fe0ab24f1af30d5130995c33ed0b484","observation_id":"7b768627-ea31-4c10-bf55-1287b2bb8bce","resolution":{"observed_at":"2026-08-06T14:53:03.697229Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.07331","last_updated":"2025-05-20T21:22:14Z","snapshot_observed_at":"2026-08-11T18:53:22.222454Z","submitted_at":"2024-12-10T09:23:36Z","title":"NeSyA: Neurosymbolic Automata","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.07331","snapshot_observed_at":"2026-08-06T14:53:03.699938Z","title":"Nesya: Neu- rosymbolic automata","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.699938Z"},"links":{"cited_paper":"/paper/2412.07331","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:5bcf7bc424357868b9f643836e90a8795fb03721f3d6d08f8f7674ecdcd391c9","observation_id":"a24c28b3-1e71-4824-8704-a857963673fc","resolution":{"observed_at":"2026-08-06T14:53:03.699938Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.781711Z","title":"Deepproblog: Neural probabilistic logic programming","venue":null,"work_id":"fba511a2-57e5-4c53-b307-0bada4288659","year":2018},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.702832Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:208e42c5a96904e8112cd3de302120374d1263f702ad528c878eb1654ecbe45d","observation_id":"bcdc2ec3-064c-492e-8231-3fb9616a8f2e","resolution":{"observed_at":"2026-08-06T14:53:04.784665Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.773807Z","title":"Benchmarking in neuro-symbolic ai","venue":null,"work_id":"0f69bda9-569b-4fc2-93ea-07c1f76e4f8f","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.705915Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:7d3e180cd6f91fc300ce1203edaa5d15278f3d98f3bb2dc63b2628013108a5c7","observation_id":"df7b79a0-374e-469d-a1db-077c678ae986","resolution":{"observed_at":"2026-08-06T14:53:04.776610Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.765621Z","title":"Approximate infer- ence for neural probabilistic logic programming","venue":null,"work_id":"9f5bc19e-f914-4da9-bef2-f03ecc55d36f","year":2021},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.708808Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:ed5414edbd946ce670943e7c63f7089554db9aa214d3a938b6cebd08bd6facc6","observation_id":"f140ecee-e19e-4ea6-b45e-cc61b4a91c52","resolution":{"observed_at":"2026-08-06T14:53:04.768716Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.757348Z","title":"S., Ivashynka, Y., Saxe, A., and Saglietti, L","venue":null,"work_id":"cf5c1734-cb65-4061-846e-22027eb70256","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.711679Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:caba0139c4957e668486a3887ea5a6fa15821a6bf11eccb20a6139d4fcd03cf2","observation_id":"0109ac9e-fbbf-44dc-885b-004dcd13889b","resolution":{"observed_at":"2026-08-06T14:53:04.760418Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.01242","last_updated":"2023-12-19T08:52:02Z","snapshot_observed_at":"2026-08-16T15:58:08.651104Z","submitted_at":"2023-02-02T17:24:43Z","title":"Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal","version":2},"cited_work":{"arxiv_id":"2302.01242","doi":null,"metadata_source":"pith","pith_arxiv_id":"2302.01242","snapshot_observed_at":"2026-08-06T14:53:04.055602Z","title":"Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal","venue":"cs.LG","work_id":"3ccc39cf-8ee7-4cb4-858d-1c6c93ee1dbf","year":2023},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.714624Z"},"links":{"cited_paper":"/paper/2302.01242","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:7751e560b3c4ee27b30031d407cb776626b688872685e73dfcd3bc835d3bc91b","observation_id":"0375e629-1cc4-40a2-b969-a69afa31c685","resolution":{"observed_at":"2026-08-06T14:53:04.059523Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.748527Z","title":"Not all neuro-symbolic concepts are created equal: Analysis and mitigation of reasoning shortcuts","venue":null,"work_id":"ea326410-8bce-423a-ae21-6db49e9bb989","year":2023},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.717613Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:4a0328abad2cc5022add52e52d03156841a1123ab7fd6d8a4fdee19777d9af5e","observation_id":"653d0d1f-53de-44a9-b9a3-158f0f0ac20f","resolution":{"observed_at":"2026-08-06T14:53:04.751624Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.739752Z","title":"From statistical relational to neurosymbolic artificial intelligence: A survey","venue":null,"work_id":"cc4b8e26-3fd3-46aa-a3ae-48e69515ff63","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.720358Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:ef4bd375b691a41258beeab113d14225ba83c1878dda0364bf0c11eb7eb04003","observation_id":"5c5cf451-f90d-425a-bf63-b044f6569ae0","resolution":{"observed_at":"2026-08-06T14:53:04.742706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12038","last_updated":"2024-09-18T14:57:13Z","snapshot_observed_at":"2026-08-16T13:17:28.266183Z","submitted_at":"2024-09-18T14:57:13Z","title":"A Unified Framework for Neural Computation and Learning Over Time","version":1},"cited_work":{"arxiv_id":"2409.12038","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.12038","snapshot_observed_at":"2026-08-06T14:53:04.042592Z","title":"A Unified Framework for Neural Computation and Learning Over Time","venue":"cs.LG","work_id":"33111377-1e13-499d-8985-ac5893c89336","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.723145Z"},"links":{"cited_paper":"/paper/2409.12038","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:c956dbf245d3819d5b738b0e95e3dc4bd017c4235836c7227b3278703df204b1","observation_id":"f1e5f288-2be3-4c01-a5f5-ea86f4f50313","resolution":{"observed_at":"2026-08-06T14:53:04.046639Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.731238Z","title":"Domain knowledge alleviates adver- sarial attacks in multi-label classifiers","venue":null,"work_id":"fbbfed6c-79bd-4549-9933-5c41653604da","year":2021},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.726177Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:00b2d95091b4b25502cf2eee1a3310b3fb4e52acaea8804b5f4f559bb54c0f21","observation_id":"7d2c0178-797f-44ef-af57-7a9324843aac","resolution":{"observed_at":"2026-08-06T14:53:04.734701Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.722849Z","title":"P., Paprocki, M., ˇCert´ık, O., Kir- pichev, S","venue":null,"work_id":"1c64deab-de8a-4257-89dd-eaff850bd408","year":2017},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.729708Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:cc4256cee422c5dfed0bfe07c96edb892860e63220ccbbf5df962c6e725a5292","observation_id":"6118efd3-2662-4112-8455-13cc8795904b","resolution":{"observed_at":"2026-08-06T14:53:04.726206Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.714721Z","title":"J., Becket, R., Brand, S., Duck, G","venue":null,"work_id":"3af3c32d-4bc2-48ae-a137-1641d2a120f7","year":2007},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.732475Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:272a51460d0dc21488d30863a538c0bdd85bec958d901749b4d3c1be676a1d2d","observation_id":"d7f0dc37-55c6-4390-8f4e-5dee04e83a32","resolution":{"observed_at":"2026-08-06T14:53:04.717722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.706460Z","title":"Y., et al","venue":null,"work_id":"e776ebb1-8c2a-47f0-b398-877a52f26e69","year":2011},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.735417Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:2db6ace44b0a0b964d8de05c4b97c181bed0a3e14fb617c9c52b0d4bea198884","observation_id":"a0d75616-ec90-484d-81aa-18ce30822957","resolution":{"observed_at":"2026-08-06T14:53:04.709417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.697993Z","title":"I., Kemker, R., Part, J","venue":null,"work_id":"764cb51f-90c1-482e-a45b-fcf0f98375a8","year":2019},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.738387Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:163de496c0e89c52f2c3d4417dd883069eea70b08dd72dfc1a83e02a4c0247fa","observation_id":"711e8e08-23d6-43d5-9a16-664a9b88542d","resolution":{"observed_at":"2026-08-06T14:53:04.701011Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.689416Z","title":"The temporal logic of programs","venue":null,"work_id":"dfca30fc-0f9e-450d-801f-939a907f53d5","year":1977},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.741199Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:4710da366af2239952e951898a8da92b16cfec5dc69831ef51d7106794b22bf3","observation_id":"ca648262-a4d6-4136-82b5-99343713c637","resolution":{"observed_at":"2026-08-06T14:53:04.692729Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.681269Z","title":null,"venue":null,"work_id":"d4e43b0f-fdcb-495c-8d93-9d3d45b72e42","year":2017},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.743941Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:df9727e568ec962bfbbdcecd25bdd0812e02021735d7e8652661a23edaecb605","observation_id":"26fc9570-e653-4a4e-834e-1f537a70e8a3","resolution":{"observed_at":"2026-08-06T14:53:04.684228Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.673006Z","title":"L., V aidya, H., and Kanan, C","venue":null,"work_id":"5828adf2-83ce-48b7-9c03-0f45c3e0e1ed","year":2020},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.746620Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:8e3e07b208cb4a2cde0f7a4e51b43a1e6eb7793d6003a21ea10fcebee6e4842e","observation_id":"be5cd714-2e54-4f5d-bc79-ff4e433da029","resolution":{"observed_at":"2026-08-06T14:53:04.675871Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.663972Z","title":"Imagenet large scale visual recognition challenge","venue":null,"work_id":"8b413bde-db91-40d7-9aa9-ca1324d29c85","year":2015},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.749390Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:f979ec6559a8f68dc4e882e0d93bc2f4080be545cae8404769e8396e7a3e2399","observation_id":"6ccc1b5e-2ea1-40d2-8581-36cfc7c3b2c3","resolution":{"observed_at":"2026-08-06T14:53:04.667148Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.654767Z","title":"W., Pascanu, R., and Hadsell, R","venue":null,"work_id":"b2c6b6b7-0ae1-4f50-bd1b-a119d4d4265f","year":2018},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.752097Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:2b24cd613b3d956048c3c0f14f916fa87486845497aed0153b9533a704db2cb0","observation_id":"65f67ad5-8763-4f2d-a626-1b957a0c5b45","resolution":{"observed_at":"2026-08-06T14:53:04.658566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.645779Z","title":"Video question answering: a survey of models and datasets","venue":null,"work_id":"8f0c874d-de0c-4486-9b76-57655e073b12","year":2021},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.754936Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:ae6ec23b040ee55502104289407d3c7e2aa5dee14dcee94f63e2e782f8df589d","observation_id":"9cf78aae-fa96-4b65-9b75-2dd6ab45b4f3","resolution":{"observed_at":"2026-08-06T14:53:04.648833Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.637565Z","title":"In Proceedings of the AAAI conference on artificial intelligence (2020), vol","venue":null,"work_id":"299c8c67-b731-454a-9dee-d5e1fd8d5575","year":2020},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.758129Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:786155ad10ccb08f2e6b35f02deb724035474459b092b6522df604c4acf7f715","observation_id":"3df7f591-3fc9-465e-ad2d-d39e4dfb2f9b","resolution":{"observed_at":"2026-08-06T14:53:04.640604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.627848Z","title":"Going deeper with convolutions","venue":null,"work_id":"e36f7a34-8eae-42fe-9998-3efe199f30a6","year":2015},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.760841Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:26950c74e8399d270cd24361b775192093c45b314d8dd875fcd97f06165358c2","observation_id":"a26dcc60-2708-4b38-a8aa-d672b684e864","resolution":{"observed_at":"2026-08-06T14:53:04.631997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:03.763351Z","title":"Ltlbench: Towards benchmarks for evalu- ating temporal logic reasoning in large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.763351Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:0498759ed29716f4841835e1b2a87217723cfc5f684b09e0cead83e22774454c","observation_id":"d7984583-af3e-427f-960c-682a9fcc7bfa","resolution":{"observed_at":"2026-08-06T14:53:03.763351Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.619328Z","title":"Back to recurrent processing at the crossroad of trans- formers and state-space models","venue":null,"work_id":"24e05357-3134-4d9e-a3ce-83d943afb3c3","year":2025},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.765868Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:69cc6620184b0ab6d47eb9d4e46daa285396f773bc290aa63333badbb0135d64","observation_id":"342cb0a8-fa00-472b-8dc7-50d046878f13","resolution":{"observed_at":"2026-08-06T14:53:04.622675Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.610589Z","title":"Deepdfa: Automata learning through neural probabilistic relaxations","venue":null,"work_id":"782ae1a9-d021-414b-8708-813f1fd75d78","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.768471Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:d0f208b67025c4fd49c3a8168529fa61a7fd2efa40a4b2b3d1b23c25798da242","observation_id":"da7c89e8-76ad-417b-98ad-ede854d7c723","resolution":{"observed_at":"2026-08-06T14:53:04.613666Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.601927Z","title":"Grounding ltlf specifications in image sequences","venue":null,"work_id":"6a03638b-0beb-437f-bcc7-33474c560799","year":2023},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.771050Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:ef7f653e657049a297859a26f6081468d4fad258c5e2020ae8e297f33a2cf21d","observation_id":"1f4ff863-f76a-420f-9750-6146c539281b","resolution":{"observed_at":"2026-08-06T14:53:04.604970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.593727Z","title":"Analyzing differentiable fuzzy logic operators","venue":null,"work_id":"ef9fde0e-1864-4f16-a0cd-4ee1730aadcb","year":2022},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.773587Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:aef1e890d8711e1c9bc66756a1de55570ac36317085777ecabf409ef86917c5f","observation_id":"f79df054-0fc5-48c3-83be-36c81e569cfe","resolution":{"observed_at":"2026-08-06T14:53:04.596704Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.08458","last_updated":"2024-06-07T15:10:50Z","snapshot_observed_at":"2026-08-16T14:01:26.155775Z","submitted_at":"2024-04-12T13:09:48Z","title":"On the Independence Assumption in Neurosymbolic Learning","version":2},"cited_work":{"arxiv_id":"2404.08458","doi":null,"metadata_source":"pith","pith_arxiv_id":"2404.08458","snapshot_observed_at":"2026-08-06T14:53:03.963894Z","title":"On the Independence Assumption in Neurosymbolic Learning","venue":"stat.ML","work_id":"87c89070-7eed-46d8-a957-36e492a736ad","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.776133Z"},"links":{"cited_paper":"/paper/2404.08458","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:474d05024ae00776a2a799508cbc6a4af7717014a263e12e833e63afed82bee1","observation_id":"944f6993-3dbd-4694-a0c0-3e397f9c2804","resolution":{"observed_at":"2026-08-06T14:53:03.967439Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.584647Z","title":"Symbolic au- tomata constraint solving","venue":null,"work_id":"fc34b2f2-8784-4e26-8c9e-58d43cf2e523","year":2010},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.779039Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:58ce9bca7b56568a5e4d16cb0ed5b1ba76b986db596fc6be3c6d938d694da984","observation_id":"459dac9e-7408-459f-a12c-594fb051aeb3","resolution":{"observed_at":"2026-08-06T14:53:04.587762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.576341Z","title":"IEEE Transac- tions on Pattern Analysis and Machine Intelligence (2024)","venue":null,"work_id":"baf39b81-621f-4bdf-b09e-99f6642513fd","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.781793Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:cc6f094c23703b5cb1280869185bcf1de40141e1200f6ebdb540d07db9891418","observation_id":"018c8432-9f82-437c-ac0d-8f98802c3820","resolution":{"observed_at":"2026-08-06T14:53:04.579414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.567970Z","title":"Deepstochlog: Neural stochastic logic programming","venue":null,"work_id":"2b9f7be8-057c-49be-99cd-9f8015f85f88","year":2022},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.784474Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:4274668492efd6844bdff0edaed930389d34c760cc79241a8880f32afeddbdcf","observation_id":"cba6d80a-90b4-43c5-8e8c-3e82ac633832","resolution":{"observed_at":"2026-08-06T14:53:04.571049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.558936Z","title":"Fashion-mnist: a novel image dataset for benchmarking machine learning algorithms, 2017","venue":null,"work_id":"b775dc0b-9117-4d48-9e11-d9a5c417fc47","year":2017},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.787113Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:c7eb7d9995dc9e69acab140aad15e6b0a08d4b77b02e855f98d1ab43568c168e","observation_id":"b5563b7b-e5b7-4d33-a65b-7672a49a3b76","resolution":{"observed_at":"2026-08-06T14:53:04.562329Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.06853","last_updated":"2024-10-08T15:55:37Z","snapshot_observed_at":"2026-08-18T00:32:06.961205Z","submitted_at":"2024-01-12T19:00:26Z","title":"Large Language Models Can Learn Temporal Reasoning","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.06853","snapshot_observed_at":"2026-08-06T14:53:03.789789Z","title":"Large language models can learn temporal reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.789789Z"},"links":{"cited_paper":"/paper/2401.06853","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:2f65b6661cec250375305f4fdb45a8c047fa56b89faba13428f5973825855ac0","observation_id":"9f6aad1d-8c11-4fc7-a325-6c584bd6b519","resolution":{"observed_at":"2026-08-06T14:53:03.789789Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.549818Z","title":"A semantic loss function for deep learning with symbolic knowledge","venue":null,"work_id":"58b8efc9-420e-4a49-857c-221ae2be826b","year":2018},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.792610Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:239fd9c87ed7a4f1fb145c096439b9249e40701a9fc095fd59b7168a232b76ed","observation_id":"ca93fd40-ae5a-4d02-bb7e-c664a1980b08","resolution":{"observed_at":"2026-08-06T14:53:04.553604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.03914","last_updated":"2024-06-06T09:52:56Z","snapshot_observed_at":"2026-08-17T14:41:18.947607Z","submitted_at":"2024-06-06T09:52:56Z","title":"Neuro-Symbolic Temporal Point Processes","version":1},"cited_work":{"arxiv_id":"2406.03914","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.03914","snapshot_observed_at":"2026-08-06T14:53:03.940756Z","title":"Neuro-Symbolic Temporal Point Processes","venue":"cs.LG","work_id":"2a23aae5-6334-4264-86e6-65a5269c6a36","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.795254Z"},"links":{"cited_paper":"/paper/2406.03914","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:a5e0c76ada2cb1edb2098ce11008bf3e4dc7712b24ac5126c807f35c236ab295","observation_id":"da1b2ce7-8ff5-41b7-aa53-0a041a5ee490","resolution":{"observed_at":"2026-08-06T14:53:03.945927Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.541170Z","title":"Continual learning through synaptic intelligence","venue":null,"work_id":"120c2b66-86fc-46cd-87cc-7b00dbc15c83","year":2017},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.798023Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:1a5c53f0bc229a8e90fd646ce73fa81e41dd3a5a64edc520d7beb3625962ef49","observation_id":"582a0e71-0c34-4668-9130-883dd9d7c509","resolution":{"observed_at":"2026-08-06T14:53:04.544373Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.532708Z","title":"Slca: Slow learner with classifier alignment for continual learning on a pre- trained model","venue":null,"work_id":"92dc3fbd-adbf-4955-97ad-b8252a16ffea","year":2023},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.800740Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:bb1ea01ac05493dcc689db9eebf0cca357ae9cbfd55e16f123bc978b910d19b0","observation_id":"7fa0e0a3-ab19-4513-8737-c0a2b6310812","resolution":{"observed_at":"2026-08-06T14:53:04.535874Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.16386","last_updated":"2024-04-23T10:44:01Z","snapshot_observed_at":"2026-08-16T14:23:32.465809Z","submitted_at":"2024-01-29T18:27:52Z","title":"Continual Learning with Pre-Trained Models: A Survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.16386","snapshot_observed_at":"2026-08-06T14:53:03.803463Z","title":"Continual learning with pre-trained models: A survey","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.803463Z"},"links":{"cited_paper":"/paper/2401.16386","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:953ed88af31160e83bb90177bdeb951da91f2c77b34846bfe9da8c90c20d6902","observation_id":"7bf6e584-9e3f-4d36-8cd7-c3a05ed3029a","resolution":{"observed_at":"2026-08-06T14:53:03.803463Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.524414Z","title":"Continual learning with unknown task boundary","venue":null,"work_id":"ba237eba-250b-4373-b5e2-5ce79a75ee1f","year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.806298Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:1d615caabba0e6ea1dec9bc95c4483f2f94987acdd93cfff84fbe51a689ea4c2","observation_id":"e9c82c6c-007c-4632-82ad-a4c75b6c000b","resolution":{"observed_at":"2026-08-06T14:53:04.527568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.515521Z","title":null,"venue":null,"work_id":"365057f6-4a1a-47ec-8c1e-2976a4a5bf10","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.809505Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:8e7c943966a7f823c791d32b9888607b0cd3dfbf1f702411d1455b5117b7a905","observation_id":"bbe88037-dc4b-4a7b-b76c-b9a681a06343","resolution":{"observed_at":"2026-08-06T14:53:04.518620Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.507250Z","title":null,"venue":null,"work_id":"656474c4-8f50-4d5a-a0a9-04a3b2fa6eb1","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.812201Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:da6671036530b44aabe515b8abff392835e5a91a70f636982d8d2e554b3cdbd2","observation_id":"4d3594bc-1f97-4799-a9c4-53d3657de41a","resolution":{"observed_at":"2026-08-06T14:53:04.509951Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.499371Z","title":null,"venue":null,"work_id":"bb37fe68-8ed4-4e9b-9446-8b9abd2fe293","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.815021Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:4c0f43040441459b9de08be1d123234750830c1e15304c5fe19b87b72644c8a7","observation_id":"81f17e86-e49b-430c-9960-40790c83cfca","resolution":{"observed_at":"2026-08-06T14:53:04.502196Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.490985Z","title":null,"venue":null,"work_id":"efbaa1ce-f65f-40ec-bfbf-a964409bb5fc","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.817901Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:73152a2c55c2bbd474be56b8ed52251e23be0c2609237dd87049032ef4d39bea","observation_id":"b0419d1f-74d8-438e-b4e9-30647474b89c","resolution":{"observed_at":"2026-08-06T14:53:04.493838Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.482774Z","title":"[yes] Articles containing theoretical contributions: Does this paper make theoretical contributions? [no] If yes, please complete the list below","venue":null,"work_id":"f3f6f125-22a2-430e-b8b7-a7e926da5d31","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.820700Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:b97868d4ede8f4e04ca07f83d023e70a2acb948055614298918b02377b5771ce","observation_id":"088962b0-a18c-4df5-8039-8a4dac050110","resolution":{"observed_at":"2026-08-06T14:53:04.486032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.474102Z","title":"[yes/partially/no] 29https://wandb.ai","venue":null,"work_id":"b610e613-6c70-4090-95d9-0d4447bb298c","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.823922Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:c63a4327a490bb6d9326b7f1451a19502117acc8964c35a4b804eb8c3103e5f1","observation_id":"228488c7-64c5-4077-b2bc-54a1a7fda3bd","resolution":{"observed_at":"2026-08-06T14:53:04.477804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.465805Z","title":"[yes/partially/no]","venue":null,"work_id":"32ae7334-3121-43e3-b3cb-83d8dfe78ecd","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.826623Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:417db39ddf4d1b1ec83be31d7e2b60562dcaed677f71f02612afbe9c837f644c","observation_id":"971678b9-b2f2-45d6-8867-d7e793805a64","resolution":{"observed_at":"2026-08-06T14:53:04.468769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.456899Z","title":"[yes/partially/no]","venue":null,"work_id":"0dead7ee-ced5-4b2d-973a-e1b89f6574a4","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.829527Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:1da7da567e810d3a9a073638d7d82527c246081076848c00946ba52569770438","observation_id":"61dc57ff-0682-4110-b75e-bcb46e96901d","resolution":{"observed_at":"2026-08-06T14:53:04.460387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.448564Z","title":"[yes/partially/no]","venue":null,"work_id":"e3ccf83d-513f-410c-9dd3-2e4eab711cf9","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.832319Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:12ba827c6a9b4cd5b777023c2287284cd0a0f96c50e8d5467064512783a863d9","observation_id":"087bb5e7-0592-4cb2-9299-0413e7ba47cf","resolution":{"observed_at":"2026-08-06T14:53:04.451943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.439744Z","title":"[yes/partially/no]","venue":null,"work_id":"83cbfaa9-e2f0-4f9d-996a-0c93edc3dda9","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.835038Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:d403127e7366ddc63f0d3fca4c168e8df69a9becf98be440e46b7797313a63e4","observation_id":"0e83a725-333f-47f5-ab27-714e528d69cc","resolution":{"observed_at":"2026-08-06T14:53:04.442432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.431459Z","title":"[yes/partially/no] Articles reporting on computational experiments: Does this paper include computational experiments? [yes] If yes, please complete the list below","venue":null,"work_id":"d9a600f8-6f49-47e9-af19-bd5cae31be18","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.838020Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:3ae440d92bf9456d73025247bf26346fddcb7f3c74c3216ee4b85d84fafce95e","observation_id":"361b5fe9-7bf5-4b03-afd7-51a1dfa145cd","resolution":{"observed_at":"2026-08-06T14:53:04.434569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.422533Z","title":"The online appendix follows best practices for source code readability and documentation as well as for long-term accessibility","venue":null,"work_id":"c5c1a557-29f0-431b-b8fd-d2c74a56543e","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.841304Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:83f7675ef8be674fb28012d663b60aea2198b7f9a73d5d7680ca9d54fe7c3524","observation_id":"1fb287ab-1bfc-4ab4-b5ae-3fd631799529","resolution":{"observed_at":"2026-08-06T14:53:04.426008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.414668Z","title":null,"venue":null,"work_id":"e229d991-b426-4cd2-91c8-d3bdaadfd96d","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.844092Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:f54201b9673860ed4b2b5a9a33c14817ae0464cce548b204bd43a1492dccd525","observation_id":"597b609d-ad39-4431-ab7a-a86c0e61e9ed","resolution":{"observed_at":"2026-08-06T14:53:04.417351Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.406691Z","title":null,"venue":null,"work_id":"4a0f02ec-4907-4026-a5cb-8ab0802888ff","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.847084Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:e28300ba8f05579e10e0bedf2aedcbb7aa47db3297526a04e90295b6b5dfbbc0","observation_id":"ca127937-2b85-486f-8230-134a0ce1d71b","resolution":{"observed_at":"2026-08-06T14:53:04.409378Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.398400Z","title":"The online appendix follows best practices for long-term accessibility","venue":null,"work_id":"c85c0fc4-9068-4248-8530-a4cfc5e51f21","year":null},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.849968Z"},"links":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:cb7cbe869180b645c58d6b2bcc2e4e0bb1a59db1bec1ac8b546c1bff6354e5d0","observation_id":"a26a97b9-5588-4eab-b3f2-8031155842e4","resolution":{"observed_at":"2026-08-06T14:53:04.401250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":51,"verified_exact":7,"verified_fuzzy":39},"total_outbound_references":118},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 100 of 118 outbound references and 0 inbound Pith citation observations for arXiv:2507.17482."}