{"as_of":"2026-08-10T07:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:db9ea9f8a024a26a006b8abad11a882570d5d2ef21da593c0c5f10d5f80b6774","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-10T06:31:04.303077+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-10T01:57:50.936044Z","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:1c76d155d7a753056dfeeaf819a626a100da716f2a678152253ed29038a6102d","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-10T01:57:50.936044Z","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:9a08ee76f48ab786f17fb089a0140bf21dca02ea02e2ab529778e2b813af3da7","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-10T01:57:50.936044Z","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:b933f4073f5b3bd39664a4fd55e3cd1a4be68f15ec83da37031bbafbae7baef6","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-10T01:57:50.936044Z","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:bc45230f8f43e314fd4f75f201873d63c217ca023d6ae31109d1e624864bd17c","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-10T01:57:50.936044Z","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:a3bf1c29ce4083c7fb31cf98e46f10a5f322a125d3e32a7c5d89ef52ba11da05","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-10T01:57:50.936044Z","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:92d13a5620edc16e7802f5c57c506bc862602c8e80c4ac936aab1088c6327376","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-10T01:57:57.006176Z","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-10T01:57:50.936044Z","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:e9795da8bbd44b1cbb9f73e6c1a778b6d2bea56ce4f2ea3be8f23773e8c1594d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:359eff00a2435e39a66dc66bed590f63df8025121244ff0ffe8bf1a970aea41f","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-10T01:57:50.936044Z","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:408556d22781d6bdb939bebaed4aee6ac999748500fde7a0603826a411062839","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-10T01:57:50.936044Z","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:5e861a464266ed8d596e56abc7d8dbe7b6c1c136ea96d830ca1ce28c50dd0883","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-10T01:57:50.936044Z","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:903aea537829a9587d2ba04b390e6cb4cdd26753e5d6f85ce19a4b6d979e193f","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-10T01:57:50.936044Z","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:9ee714439cd3ab40c576dc5492130fc50e52e68e98116a4b000b732765a0c84d","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-10T01:57:02.790548Z","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-10T01:57:50.936044Z","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:9d801e4e709bd6ed8856c98b4b2fe9a1b4405481ad8fd9570943659df71a1168","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-10T01:57:50.936044Z","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:0519b1fe47b6b73bad2cc63b53132e6195beb480de2e92e96bc097786ac8b3df","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-10T01:57:50.936044Z","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:1f7968aa10742e88f4b10bf30f9361c21005427ae198d5e3156c8dbef35c8e87","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-10T01:57:50.936044Z","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:d990ad9a36d9c616e88e5592f8462da512d954612fd72790fc592b482e4e238c","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-10T01:57:50.936044Z","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:9aa04eccc685a6fe1599113cc6b03d7d070c91774175da2e8cd9210b65bb571e","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-10T01:57:50.936044Z","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:27f173fd50e709f016c7a99fbdaf173f09ec6fb60a963ab4ad6d5d44656bbb4c","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-10T01:57:50.936044Z","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:ea1b29e20c0ed00bc34dd0ceb564ef8532b8725aba198390c7fd83909367b962","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-10T01:57:50.936044Z","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:0cab9a5e7e0064d152ed01e918c8982ddf00159636e3e2222f9e0ba62ebff4ba","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-10T01:57:50.936044Z","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:6da86a6a725c203ef047032c3c36e878c001782c01ba63492bb095eb6783bf33","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-10T01:57:50.936044Z","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:11c5a52a96afeb6f36c537969c92f772c83336503af85abe967d605a72b8fe22","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-10T01:57:50.936044Z","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:02442601ff2a05a6f06412bd5f41b9ba386bd6f0a440427f72acff82e54fffb6","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-06T00:43:52.070914Z","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-10T01:57:50.936044Z","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:1a58b49a552fb2e0e87305a50e1aab8ddc46da13032a0500192b7babf2b09d53","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:db19a5623e7ee17b08f58bc0a7f0ca1e92a30bdcd551ab69b30255a446847a57","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-10T01:57:50.936044Z","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:71be40d2b941b55beea316613607e68541088b5bd20a95be410157ab685ed985","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-10T01:57:50.936044Z","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:cd4e5b43c5f44a55c8c776bc7a50b88a0e881961dfcb851c72296f04efac6260","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-10T01:57:50.936044Z","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:fd5567445258ee8dfbfe3bf50101a318bf3aeb70b8e04b80f2fe707831cd306a","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":null,"cited_work":{"arxiv_id":"2504.13460","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:53:04.185329Z","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-10T01:57:50.936044Z","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":{"citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:234905f98d1e250c1c204ae4687b6c8c2328b824f45ec4fb4cd4f1cd702246b0","observation_id":"b47f1229-323d-4431-b4e9-f7f884df7894","resolution":{"observed_at":"2026-08-06T14:53:04.190624Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:92272e91453d345b88fd028494595b402ec70919702b09e32899573dbca8f8ee","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-10T01:57:50.936044Z","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:aca0db5a491f0e4cff22d80e5408e25f2771478e3ba3c50fd07173325eb16c6e","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-10T01:57:50.936044Z","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:da2247457b1ea26487510333963f1268e2837b695eb99b9a31073d0261665c43","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-10T01:57:50.936044Z","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:342d8d823dbb27af6604024e03fc53333b36c0fa6d1d78bdfba926c4cd2e3f47","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-10T01:57:50.936044Z","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:bf21784a02bd0fb876c09329557c26c2e218f3bb740a9fccdb1675b26a9ade74","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-10T01:57:50.936044Z","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:a0a666f60ab04be043e2b72200d8bd15f32c8b960f57f98b01890745a31e9a37","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-10T01:57:50.936044Z","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:7942e71f30f43ebe9506602dd33bac113cddb3857bc13a427a1b403e197503ed","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-10T01:57:50.936044Z","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:0d82019e1d397a875c905fc4b1742d8535d5c408068749d7ebb1ff60427cdc26","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-10T01:57:50.936044Z","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:9e0beb97307149ef16b47926f364360fae1963e5d44f115baea803d86458666c","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-10T01:57:50.936044Z","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:3c61a617d42e1c58916eb8997faa3c41685814fa03019e0053381b2bab4d2d33","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-10T01:57:50.936044Z","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:e3e86a7010669faa3cd0d5f8397274b3fd12722495320462e4920aa12851e27d","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-10T01:57:50.936044Z","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:d0a50f768047cd763950802373c3f5cc798ec100dd1a89561d524acc9793979f","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-07-06T17:36:11.854303Z","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-10T01:57:50.936044Z","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:b81e0155d5826437f450ecb3c34ab7255f6a06601741ed075e2867eb0616b4d7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:48:51.671078Z","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-10T01:57:50.936044Z","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:226b1725fe16df9727071472f67c8de692380f87d84db14dc37173bd483bd4c7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07-06T18:26:50.515452Z","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-10T01:57:50.936044Z","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:0f7e12e46a7ee09868576369e895c881471febe60d13e06d468a81fc9ba2d34f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:83fdfc5426b38e7b55b7206c1795d8583ff4afbd82bf45c8f3f7d4becfde62cf","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-10T01:57:50.936044Z","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:42dee1f37a54bcd910780ba5ffe7854c0b6c856028e94e5d0dd07e14faee0408","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-07-06T20:04:30.197401Z","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-10T01:57:50.936044Z","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:9103acdadce659eac9f1f66b5ba0f425965ec675db915c20785d8db5e9af504f","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-10T01:57:50.936044Z","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:2d088a9d296e4c0fd011498c8dd415499e5d7a4d3eded61696eaa8d377cc2ddf","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:47333630c3acc58d22aaf3f146b4c4c8d69e253106dac4a5d6d3836b0fd920b2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:b0e3b4d2aa1fcf45accbc4c571c998e0aba8ce09d5d7c32809e6aa6107261a66","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:5630d8fe4d4c5eac3fbefab0ec716bf5389c102f52be6db4d933d3f28ec08a57","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T07:27:36.422087Z","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-10T01:57:50.936044Z","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:8fb8857f0c28c47ddc110814e0218725821da02a588ccf61cc2f85a0c196dd9d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:719263bf084eadd49d19de8fbbe6fc0a27e2a0a5b1fb15f413456eb85ff1fa62","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:71b01c934fcaee943909f3b6a02c2a15fb0706133b13a2569f61d71dbdd27186","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07-06T19:17:36.997607Z","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-10T01:57:50.936044Z","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:b217be73937735cb503cd6f5abe10a1538738c83e84f331a205b4ac2134321ae","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:5a74c23f847ed6a5db9ad5bb7b82375487d637b5903749a806cdb39502aa5cd7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:8f9479f27b88c107d3513598d0f1f5fa4212d276e235ef4c338eb7f7c1ec5bb1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:864389319222b39978452a9f3218b2b1ddac66df7194c14ab8a60eb66386aaff","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:b9911ac456cab0df2deb35ade309cb3c34fbfc0be6d945ca84471c5f22f2cc8d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:d9bdf9e385b208a22a34594a5b590de704a27d966ea34972e6896c12c21b141d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:e9d6e1b3eb05247fceb079827b3baea76c0d04b61e866dfa1471ac83001ce8f0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:49a1ec573c685562283043db3e8d7ef448cb9e52b8538937770458276eb6fdad","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:1ed3c7a47a69d67af5e84c3492e7d9fafa25455b4445af9ff219c137ffb9fc3d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:02597dd02cb7e11bffa42569929b9bd0b6e0029b7921aa152333e172ad14e831","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:dbb8a12e5412224106fff2f06d6a9464403841aacca4113a3b15a2ba7bcc9b53","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:e36f419e5a81ecb9983e49af13b771e201e06ff5114c549c38ce734bc9f3b3c9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:7511031ee673e31934300ff67c5daf5b90e8a20065ad5bc81d8835d021c672e6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:a903892d817492362892bba0625bcd9d26331c6b4cac6ea6064d70e3f2e8b180","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:e02ec33c47ed002a34b26deac1cc40fe3e9c12940c19c091f770f51feacb0080","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-10T01:57:50.936044Z","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:9f01bc2dadc9ad6858e37f839ec079ba90a0e281e645add94031c9172935bbd0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:456137add1e7b31bdcf09150883e407b5220c205f35d1848c221bdd2ba2aa773","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:73fb82aa1c735d468f3ae55395758e3fb36844116f18b13d79e147105f24c501","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:a3482de6f23285ee6fa836cf1323f205b5159d2e36dd480bdc467ba4b3051836","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07-06T17:59:21.208430Z","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-10T01:57:50.936044Z","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:1b9f3c12fff5de4be8dc853662201039610e20e13253d01a67a30c9d5bdf30a3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:7ce285c466e219a06e6c4da01586b0e818b127e9c50136d1c7e2af089c64feac","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:c72dd3dbfb2f030a64415a821d19514d795b7f90d73941ce774f6edafa8114eb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:50bd1feb55f436b686748800f4009949c68dc69eb5d9ed732d1779469ba1f192","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:60053f9a70f9cf777531db130d60ee3c281051ad92dfcd1dc0aea63336a7544e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07-06T17:14:57.853205Z","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-10T01:57:50.936044Z","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:99585abdd9c5b045a9dda1d01e6f7caaaa3064011659b4b0b83db430cef93e25","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-10T01:57:50.936044Z","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:6744ce24cd6974419a56a6e70c96223750e918d29e72e55886cd9c52c701d8f4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T18:55:07.653563Z","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-10T01:57:50.936044Z","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:f7bdb64e776a2f231393313796be029a418b61e36787c3949b4d4f01828208a3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:ac3597784e1d286354169b7883f3bed48b7326af235f8c2d3468c29864f7db27","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:c494e45e2f37fb1b6fc96261fd2130c8d0af11f4a85907e420c027e7a287da08","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07-06T17:21:58.983048Z","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-10T01:57:50.936044Z","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:79dba6054b5d315fc25eabf2598d11837cc7e002b34315513fc016b4237e2112","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-10T01:57:50.936044Z","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:3b3d09f44466acd85014ec2a1ba0b0c1d49d3fc3887b76fa460886ebe61fdb6a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:bf34d48f3e6fce6b3fc6e31f89f8709b33a4585440beca403e6e64f489d806a9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:8a448f268fd0bee2852a02c239906ba8f4b3485f24cc6ae296aebbf01f1f0006","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:28be888d92137a54a9368e3bd116f079a5ce1ba63bf66ff40a5d0f35e69ac49b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:f2a5c7128ad304024ea305bc55c1ad87ebefd43f554249e0fa83d1aa257e91f6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:acd9eea2cd16b3700ca9749a3634d00acf8d37b8573f9fa3b2fe9b981e866ce2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:5db802001eabdc24e2a0366286e83dae941c16490dda1fbecad46ad967aa493b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:67c2fac2b3a920ff4d56d2a97279796e59614400cfa68a1877974940bb6f74e6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:d1f8117c7aeb0275f96af908299f8d32cd2d3e4ac59e48c20d6bba76b9a1453e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:8d695e7823f0005176de319bf66488b2e5916895d0f3bdce9fddcced2067e6c5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:95e92a85d66bd99ac3bc6d518e8d4bd4c331763d33ac7861cef97eeb920632b7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:fad509e977b589626531501b0c693ca8c8601f207ef08d8e8b2f9016a76dfc24","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:cc7599c2fb073864b281c0f5301bc80d23010557b9375ad4d666b98d51e24193","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:5c6032e550c00d46848c8e661c37503250608f5b1c21fb8d3e1c5bd0d5ddf138","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:7d95870c290ff0c3ecfdd422b856e7686cf56e2fa9b0df4a747ef62778334f62","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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:829982f8f9fe97f2b6c85163889c0d5b71b06ac5352a31a7611678099428c545","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:57:50.936044Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 100 of 118 outbound references and 0 inbound Pith citation observations for arXiv:2507.17482."}