Pith. sign in

Paper Citation Record · LEDGER

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.17482 v1

Coverage vector

measured 100 of 118 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T14:53:03.849968Z

measured 100 of 100 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

100 of 118 outbound references displayed

  • verified exact7
  • verified fuzzy39
  • unresolved51
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6fd258a2-637c-4ef0-9592-15096df69402 · outbound

This paper cites P., and Singh, S.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning P., and Singh, S

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.565472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.565472Z digest=sha256:1c76d155d7a753056dfeeaf819a626a100da716f2a678152253ed29038a6102d

Observation f2c23684-6b16-4b2d-98fa-40f4b7d59f41 · outbound

This paper cites Task-free continual learning.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Task-free continual learning

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.569129Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.569129Z digest=sha256:9a08ee76f48ab786f17fb089a0140bf21dca02ea02e2ab529778e2b813af3da7

Observation cf67709f-0f5c-4516-b717-36ecc1e9ed2e · outbound

This paper cites Gradient based sample selection for online continual learning.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Gradient based sample selection for online continual learning

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.572236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.572236Z digest=sha256:b933f4073f5b3bd39664a4fd55e3cd1a4be68f15ec83da37031bbafbae7baef6

Observation 0b80922d-4f6a-49be-93bf-9d698479fe98 · outbound

This paper cites d., Serafini, L., and Spranger, M.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning d., Serafini, L., and Spranger, M

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.575133Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.575133Z digest=sha256:bc45230f8f43e314fd4f75f201873d63c217ca023d6ae31109d1e624864bd17c

Observation f5de9d45-79c7-4c32-9c88-2a5d7c3c33b2 · outbound

This paper cites Rainbow memory: Continual learning with a memory of diverse samples.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Rainbow memory: Continual learning with a memory of diverse samples

Reference 5

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.578051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.578051Z digest=sha256:a3bf1c29ce4083c7fb31cf98e46f10a5f322a125d3e32a7c5d89ef52ba11da05

Observation ae3d8b54-5ba9-4b65-be2c-bfd4857a2f78 · outbound

This paper cites R., d’A vila Garcez, A., Bader, S., Bowman, H., Domingos, P., Hitzler, P., K ¨uhnberger, K.-U., Lamb, L.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning R., d’A vila Garcez, A., Bader, S., Bowman, H., Domingos, P., Hitzler, P., K ¨uhnberger, K.-U., Lamb, L

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.580924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.580924Z digest=sha256:92d13a5620edc16e7802f5c57c506bc862602c8e80c4ac936aab1088c6327376

Observation 3ee331ea-cbf1-42c7-9faa-d66d9d33246d · outbound

This paper cites Where is the Truth? The Risk of Getting Confounded in a Continual World.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Where is the Truth? The Risk of Getting Confounded in a Continual World

Reference 7

Resolution
metadata mismatch
local_arxiv, observed 2026-08-06T14:53:04.235306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.584140Z digest=sha256:c567c29de78b25cc581e7a2e8264749992fca0db13bbbd6441c4136cddc792b8

Observation 6ff5aac3-d33b-437a-a17c-fd4a80900df6 · outbound

This paper cites Neuro-symbolic artificial intelligence for safety engineering.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Neuro-symbolic artificial intelligence for safety engineering

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.587214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.587214Z digest=sha256:359eff00a2435e39a66dc66bed590f63df8025121244ff0ffe8bf1a970aea41f

Observation e1e7693e-fce8-4026-ab7b-6242abbdf43f · outbound

This paper cites Pitfalls in processing infinite-length sequences with pop- ular approaches for sequential data.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Pitfalls in processing infinite-length sequences with pop- ular approaches for sequential data

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.590150Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.590150Z digest=sha256:408556d22781d6bdb939bebaed4aee6ac999748500fde7a0603826a411062839

Observation 1e044a7a-aa39-4181-9ab7-f2f181a19034 · outbound

This paper cites On probabilistic inference by weighted model counting.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning On probabilistic inference by weighted model counting

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.593102Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.593102Z digest=sha256:5e861a464266ed8d596e56abc7d8dbe7b6c1c136ea96d830ca1ce28c50dd0883

Observation 1f0d5817-9139-49d5-9982-97a2af12c96b · outbound

This paper cites Towards neuro-symbolic video understanding.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Towards neuro-symbolic video understanding

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.596519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.596519Z digest=sha256:903aea537829a9587d2ba04b390e6cb4cdd26753e5d6f85ce19a4b6d979e193f

Observation e22d328c-0f7f-4a66-970d-c6efb539b48a · outbound

This paper cites Online continual learning from imbalanced data.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Online continual learning from imbalanced data

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.599253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.599253Z digest=sha256:9ee714439cd3ab40c576dc5492130fc50e52e68e98116a4b000b732765a0c84d

Observation 0da581eb-c4ba-4a0f-8fb7-430121e8e573 · outbound

This paper cites TimeBench: A Comprehensive Evaluation of Temporal Reasoning Abilities in Large Language Models.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning TimeBench: A Comprehensive Evaluation of Temporal Reasoning Abilities in Large Language Models

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.602018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.602018Z digest=sha256:9d801e4e709bd6ed8856c98b4b2fe9a1b4405481ad8fd9570943659df71a1168

Observation b024bb44-82f0-4f58-a0f8-72b4d5c02cdf · outbound

This paper cites Nusmv 2: An opensource tool for symbolic model checking.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Nusmv 2: An opensource tool for symbolic model checking

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.605088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.605088Z digest=sha256:0519b1fe47b6b73bad2cc63b53132e6195beb480de2e92e96bc097786ac8b3df

Observation c97e2972-ce69-46d3-8dbe-ebc0d619f7c0 · outbound

This paper cites A knowledge compilation map.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning A knowledge compilation map

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.607893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.607893Z digest=sha256:1f7968aa10742e88f4b10bf30f9361c21005427ae198d5e3156c8dbef35c8e87

Observation ee9d4ad2-00be-419c-bdc4-c638baaacb9d · outbound

This paper cites Y.Linear temporal logic and linear dynamic logic on finite traces.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Y.Linear temporal logic and linear dynamic logic on finite traces

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.610642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.610642Z digest=sha256:d990ad9a36d9c616e88e5592f8462da512d954612fd72790fc592b482e4e238c

Observation bb244506-623f-4605-9b61-ea0b03b6d34c · outbound

This paper cites A contin- ual learning survey: Defying forgetting in classification tasks.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning A contin- ual learning survey: Defying forgetting in classification tasks

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.613933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.613933Z digest=sha256:9aa04eccc685a6fe1599113cc6b03d7d070c91774175da2e8cd9210b65bb571e

Observation ce957b84-12d6-4569-baed-ad0a9bab107a · outbound

This paper cites From statistical relational to neuro-symbolic artificial intelligence.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning From statistical relational to neuro-symbolic artificial intelligence

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.616764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.616764Z digest=sha256:27f173fd50e709f016c7a99fbdaf173f09ec6fb60a963ab4ad6d5d44656bbb4c

Observation 92c02d9c-6c74-4455-9916-87a33a6ada28 · outbound

This paper cites Synthesis lectures on artificial intelligence and machine learning 10, 2 (2016), 1–189.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Synthesis lectures on artificial intelligence and machine learning 10, 2 (2016), 1–189

Reference 19

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.619916Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.619916Z digest=sha256:ea1b29e20c0ed00bc34dd0ceb564ef8532b8725aba198390c7fd83909367b962

Observation 98c06408-9ce0-46fe-9f4d-a24ae36ab68e · outbound

This paper cites Problog: A prob- abilistic prolog and its application in link discovery.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Problog: A prob- abilistic prolog and its application in link discovery

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.622756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.622756Z digest=sha256:0cab9a5e7e0064d152ed01e918c8982ddf00159636e3e2222f9e0ba62ebff4ba

Observation 13f37da8-8bc5-48bc-9d9e-0721fbd7cf7d · outbound

This paper cites B., A vrunin, G.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning B., A vrunin, G

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.625456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.625456Z digest=sha256:6da86a6a725c203ef047032c3c36e878c001782c01ba63492bb095eb6783bf33

Observation 6dd0cbe0-dc32-4cc2-9236-550e27eb62ab · outbound

This paper cites M., Trzcinski, T., Tuytelaars, T., and Bethge, M.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning M., Trzcinski, T., Tuytelaars, T., and Bethge, M

Reference 22

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.628281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.628281Z digest=sha256:11c5a52a96afeb6f36c537969c92f772c83336503af85abe967d605a72b8fe22

Observation 3594c1db-da28-437f-93cb-bb58a81e6819 · outbound

This paper cites Neural computation 27, 2 (2015), 388–480.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Neural computation 27, 2 (2015), 388–480

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.630847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.630847Z digest=sha256:02442601ff2a05a6f06412bd5f41b9ba386bd6f0a440427f72acff82e54fffb6

Observation 3efa109d-3df2-4394-aadf-ba0bb67e4f2f · outbound

This paper cites Collectionless Artificial Intelligence.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Collectionless Artificial Intelligence

Reference 24

Resolution
verified exact
local_arxiv, observed 2026-08-06T14:53:04.212292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.633630Z digest=sha256:69a23c910a0ea8d0c616293324fe411106af3abec9deb7c955a22a801ca1ae3a

Observation 9446504d-5141-4df4-ac3d-1916271ee038 · outbound

This paper cites Task-incremental learning on long text sequences.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Task-incremental learning on long text sequences

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.636861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.636861Z digest=sha256:db19a5623e7ee17b08f58bc0a7f0ca1e92a30bdcd551ab69b30255a446847a57

Observation e4126ea4-703e-4b22-80a2-84b3905a29e9 · outbound

This paper cites J., Karvounarakis, G., and Tannen, V.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning J., Karvounarakis, G., and Tannen, V

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.639558Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.639558Z digest=sha256:71be40d2b941b55beea316613607e68541088b5bd20a95be410157ab685ed985

Observation f81e31a8-b561-4826-b4dc-2094182e1a9b · outbound

This paper cites Teaching Temporal Logics to Neural Networks.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Teaching Temporal Logics to Neural Networks

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.642598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.642598Z digest=sha256:cd4e5b43c5f44a55c8c776bc7a50b88a0e881961dfcb851c72296f04efac6260

Observation a4bc39b9-a601-4f95-a46c-37c571d4f5bf · outbound

This paper cites Class-incremental learning with repetition.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Class-incremental learning with repetition

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.645610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.645610Z digest=sha256:fd5567445258ee8dfbfe3bf50101a318bf3aeb70b8e04b80f2fe707831cd306a

Observation b47f1229-323d-4431-b4e9-f7f884df7894 · outbound

This paper cites Chain-of-thought textual reasoning for few-shot temporal action localization.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Chain-of-thought textual reasoning for few-shot temporal action localization

Reference 29

Resolution
verified exact
raw_fallback, observed 2026-08-06T14:53:04.190624Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.648566Z digest=sha256:ef6897abd5cc83e15cc4de8cc30d8009242680acd4e56ff9f53284922df20936

Observation 14aa47ca-f9a8-4bfb-af27-de280390ef00 · outbound

This paper cites Algebraic model counting.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Algebraic model counting

Reference 30

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.651341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.651341Z digest=sha256:92272e91453d345b88fd028494595b402ec70919702b09e32899573dbca8f8ee

Observation a6695ae3-c263-4973-b6a9-84b0cbb7690a · outbound

This paper cites Learning multiple layers of features from tiny images.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Learning multiple layers of features from tiny images

Reference 31

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.654059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.654059Z digest=sha256:aca0db5a491f0e4cff22d80e5408e25f2771478e3ba3c50fd07173325eb16c6e

Observation 6031c1d7-6dd8-4e4b-8431-e84e11bebfe7 · outbound

This paper cites Gradient- based learning applied to document recognition.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Gradient- based learning applied to document recognition

Reference 32

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.657040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.657040Z digest=sha256:da2247457b1ea26487510333963f1268e2837b695eb99b9a31073d0261665c43

Observation fa4c8ae6-3652-4e05-8c44-4ab674e9ffbb · outbound

This paper cites R., Charlin, L., and Rish, I.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning R., Charlin, L., and Rish, I

Reference 33

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.659875Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.659875Z digest=sha256:342d8d823dbb27af6604024e03fc53333b36c0fa6d1d78bdfba926c4cd2e3f47

Observation 57bfc980-4214-4da5-aa0a-f9b2ec1c97a1 · outbound

This paper cites Interpretable deep learning: Interpretation, inter- pretability, trustworthiness, and beyond.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Interpretable deep learning: Interpretation, inter- pretability, trustworthiness, and beyond

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.662688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.662688Z digest=sha256:bf21784a02bd0fb876c09329557c26c2e218f3bb740a9fccdb1675b26a9ade74

Observation 31409128-d915-43e9-a3ab-4ff4ccf9da44 · outbound

This paper cites Learning without forgetting.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Learning without forgetting

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.665908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.665908Z digest=sha256:a0a666f60ab04be043e2b72200d8bd15f32c8b960f57f98b01890745a31e9a37

Observation e6afa8ed-2d26-42af-b8d2-034ada141e95 · outbound

This paper cites Scallop: A language for neu- rosymbolic programming.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Scallop: A language for neu- rosymbolic programming

Reference 36

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.668672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.668672Z digest=sha256:7942e71f30f43ebe9506602dd33bac113cddb3857bc13a427a1b403e197503ed

Observation 4942c979-3a6f-4624-9559-009761dbca28 · outbound

This paper cites The clear bench- mark: Continual learning on real-world imagery.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning The clear bench- mark: Continual learning on real-world imagery

Reference 37

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.671438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.671438Z digest=sha256:0d82019e1d397a875c905fc4b1742d8535d5c408068749d7ebb1ff60427cdc26

Observation 5d8a5d4e-c1e6-4e9a-9314-8b594e64cf38 · outbound

This paper cites Core50: a new dataset and bench- mark for continuous object recognition.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Core50: a new dataset and bench- mark for continuous object recognition

Reference 38

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.674148Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.674148Z digest=sha256:9e0beb97307149ef16b47926f364360fae1963e5d44f115baea803d86458666c

Observation bc0feaba-91aa-42ee-8b49-5d4912e099ad · outbound

This paper cites L., De Lange, M., Masana, M., Pomponi, J., V an de Ven, G.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning L., De Lange, M., Masana, M., Pomponi, J., V an de Ven, G

Reference 39

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.676797Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.676797Z digest=sha256:3c61a617d42e1c58916eb8997faa3c41685814fa03019e0053381b2bab4d2d33

Observation 5d9b6481-45b1-4733-87b7-1a02455c3c19 · outbound

This paper cites Gradient episodic memory for continual learning.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Gradient episodic memory for continual learning

Reference 40

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.679613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.679613Z digest=sha256:e3e86a7010669faa3cd0d5f8397274b3fd12722495320462e4920aa12851e27d

Observation 9ff446b9-49dc-4140-9167-51f4773deead · outbound

This paper cites S., Lippi, M., and Melacci, S.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning S., Lippi, M., and Melacci, S

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.682374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.682374Z digest=sha256:d0a50f768047cd763950802373c3f5cc798ec100dd1a89561d524acc9793979f

Observation 8c81d59c-1a48-4d8f-95b1-5c7c45ba5601 · outbound

This paper cites The KANDY Benchmark: Incremental Neuro-Symbolic Learning and Reasoning with Kandinsky Patterns.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning The KANDY Benchmark: Incremental Neuro-Symbolic Learning and Reasoning with Kandinsky Patterns

Reference 42

Resolution
metadata mismatch
local_arxiv, observed 2026-08-06T14:53:04.108813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.685065Z digest=sha256:f257e126aab08c3f8c63518ac39c3b641b3d27bf661ac990c360ef20374c5c88

Observation 26ac6f65-29c5-4f64-b969-02632f00e195 · outbound

This paper cites A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge

Reference 43

Resolution
metadata mismatch
local_arxiv, observed 2026-08-06T14:53:04.095506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.688404Z digest=sha256:c5acfcb1a2948ca93b686f1d949137346c2d6ea9a9b0b01ce77660711cf936f3

Observation 7853b9db-e992-4884-9211-b5e0fb6ab958 · outbound

This paper cites On the Hardness of Probabilistic Neurosymbolic Learning.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning On the Hardness of Probabilistic Neurosymbolic Learning

Reference 44

Resolution
verified exact
local_arxiv, observed 2026-08-06T14:53:04.081950Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.691403Z digest=sha256:f8819aeaf693dd2135aa3f1b4ea2dd92c139f0e2e461557d366043fd6c0801bc

Observation 6956fa9f-a99e-4e7e-9824-a2b056097e09 · outbound

This paper cites Online continual learning in image classification: An empirical survey.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Online continual learning in image classification: An empirical survey

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.694349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.694349Z digest=sha256:83fdfc5426b38e7b55b7206c1795d8583ff4afbd82bf45c8f3f7d4becfde62cf

Observation 7b768627-ea31-4c10-bf55-1287b2bb8bce · outbound

This paper cites Continuous learning in single- incremental-task scenarios.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Continuous learning in single- incremental-task scenarios

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.697229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.697229Z digest=sha256:42dee1f37a54bcd910780ba5ffe7854c0b6c856028e94e5d0dd07e14faee0408

Observation a24c28b3-1e71-4824-8704-a857963673fc · outbound

This paper cites NeSyA: Neurosymbolic Automata.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning NeSyA: Neurosymbolic Automata

Reference 47

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.699938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.699938Z digest=sha256:9103acdadce659eac9f1f66b5ba0f425965ec675db915c20785d8db5e9af504f

Observation bcdc2ec3-064c-492e-8231-3fb9616a8f2e · outbound

This paper cites Deepproblog: Neural probabilistic logic programming.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Deepproblog: Neural probabilistic logic programming

Reference 48

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.784665Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.702832Z digest=sha256:863be43fc29ee592e618602258c275463e137441e44b1e5a558131437b9e980e

Observation df7b79a0-374e-469d-a1db-077c678ae986 · outbound

This paper cites Benchmarking in neuro-symbolic ai.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Benchmarking in neuro-symbolic ai

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.776610Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.705915Z digest=sha256:6bfa2d08298440f32f020ef1fbd7c4927af5d87def5c74aa65f19feb5f180266

Observation f140ecee-e19e-4ea6-b45e-cc61b4a91c52 · outbound

This paper cites Approximate infer- ence for neural probabilistic logic programming.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Approximate infer- ence for neural probabilistic logic programming

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.768716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.708808Z digest=sha256:47145a0478ddc2325445f77ababd56413043fdeb3679554b22fdc1a88effb02e

Observation 0109ac9e-fbbf-44dc-885b-004dcd13889b · outbound

This paper cites S., Ivashynka, Y., Saxe, A., and Saglietti, L.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning S., Ivashynka, Y., Saxe, A., and Saglietti, L

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.760418Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.711679Z digest=sha256:4d4eb5e429c82a7e47a474f6fed21f0665d86447928657280ffac7e3c845c4f6

Observation 0375e629-1cc4-40a2-b969-a69afa31c685 · outbound

This paper cites Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal

Reference 52

Resolution
verified exact
local_arxiv, observed 2026-08-06T14:53:04.059523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.714624Z digest=sha256:57897fbc832e519ebba39a50f48982ce1acac514616a99c90853621ab8125248

Observation 653d0d1f-53de-44a9-b9a3-158f0f0ac20f · outbound

This paper cites Not all neuro-symbolic concepts are created equal: Analysis and mitigation of reasoning shortcuts.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Not all neuro-symbolic concepts are created equal: Analysis and mitigation of reasoning shortcuts

Reference 53

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.751624Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.717613Z digest=sha256:4763da0199637af9b1c7c210dfdd6aa90971e7b6fa4194a445066afb05c4dce3

Observation 5c5cf451-f90d-425a-bf63-b044f6569ae0 · outbound

This paper cites From statistical relational to neurosymbolic artificial intelligence: A survey.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning From statistical relational to neurosymbolic artificial intelligence: A survey

Reference 54

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.742706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.720358Z digest=sha256:b9f1aae8631d4b9563c5f80aae5d29d1a3209bd9a2e6e15b9eef35779cf6e532

Observation f1e5f288-2be3-4c01-a5f5-ea86f4f50313 · outbound

This paper cites A Unified Framework for Neural Computation and Learning Over Time.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning A Unified Framework for Neural Computation and Learning Over Time

Reference 55

Resolution
verified exact
local_arxiv, observed 2026-08-06T14:53:04.046639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.723145Z digest=sha256:57eeeafc9d49c7a5ae69fae99099e2ab2dd34ac51e3729e44ca1080c896cfdc2

Observation 7d2c0178-797f-44ef-af57-7a9324843aac · outbound

This paper cites Domain knowledge alleviates adver- sarial attacks in multi-label classifiers.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Domain knowledge alleviates adver- sarial attacks in multi-label classifiers

Reference 56

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.734701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.726177Z digest=sha256:888bc4e87c6a00e7a61b27147e80d435b815bf513f30fc759a202f6cf20f5a4b

Observation 6118efd3-2662-4112-8455-13cc8795904b · outbound

This paper cites P., Paprocki, M., ˇCert´ık, O., Kir- pichev, S.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning P., Paprocki, M., ˇCert´ık, O., Kir- pichev, S

Reference 57

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.726206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.729708Z digest=sha256:4cab2945eb072a343491a7f12dee138724e83e4dc55e0bc44f4be24cfa1c0fe2

Observation d7f0dc37-55c6-4390-8f4e-5dee04e83a32 · outbound

This paper cites J., Becket, R., Brand, S., Duck, G.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning J., Becket, R., Brand, S., Duck, G

Reference 58

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.717722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.732475Z digest=sha256:960ced5aa81c281a15c0f5c48034a96a33e123ebf9423747144a7b354f8ade82

Observation a0d75616-ec90-484d-81aa-18ce30822957 · outbound

This paper cites Y., et al.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Y., et al

Reference 59

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.709417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.735417Z digest=sha256:a3577df588080f93a1aaa4b9b623155ef1180c254be8523f6de6f455d4c21c70

Observation 711e8e08-23d6-43d5-9a16-664a9b88542d · outbound

This paper cites I., Kemker, R., Part, J.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning I., Kemker, R., Part, J

Reference 60

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.701011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.738387Z digest=sha256:1c3009fa2fc3db0ef3c386395d66448f2fcf13e8f53d6a1bdb90d9ed0fa0173d

Observation ca648262-a4d6-4136-82b5-99343713c637 · outbound

This paper cites The temporal logic of programs.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning The temporal logic of programs

Reference 61

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.692729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.741199Z digest=sha256:9b3e41e7a1c827b0d2203593c216a858b3b3e48d1b4806e8250f687ba3c5142e

Observation 26fc9570-e653-4a4e-834e-1f537a70e8a3 · outbound

This paper cites an unresolved cited work.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Unresolved cited work

Reference 62

Resolution
unresolved
raw_fallback, observed 2026-08-06T14:53:04.684228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.743941Z digest=sha256:634a87df0bab90051c736cb17625bdd8fec100557991aa565d0d807c868bd1e7

Observation be5cd714-2e54-4f5d-bc79-ff4e433da029 · outbound

This paper cites L., V aidya, H., and Kanan, C.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning L., V aidya, H., and Kanan, C

Reference 63

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.675871Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.746620Z digest=sha256:f8e790d647d2c008cba54d4970a3ecc1d2138fd95b407abc59bff37016b47178

Observation 6ccc1b5e-2ea1-40d2-8581-36cfc7c3b2c3 · outbound

This paper cites Imagenet large scale visual recognition challenge.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Imagenet large scale visual recognition challenge

Reference 64

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.667148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.749390Z digest=sha256:6e91ef43ff2af04ad7e3c0e327398a343d423994c28f2b8699d448aa436388fa

Observation 65f67ad5-8763-4f2d-a626-1b957a0c5b45 · outbound

This paper cites W., Pascanu, R., and Hadsell, R.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning W., Pascanu, R., and Hadsell, R

Reference 65

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.658566Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.752097Z digest=sha256:7f72f28e5a038ae52c36dac5ff556021577f3927fc1be97db0f446bb9a017ad1

Observation 9cf78aae-fa96-4b65-9b75-2dd6ab45b4f3 · outbound

This paper cites Video question answering: a survey of models and datasets.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Video question answering: a survey of models and datasets

Reference 66

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.648833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.754936Z digest=sha256:627b3b89f2c3cfe8b5386ab8229ce3ea998ffa4846bb06df5c9ec00e95f5dc9a

Observation 3df7f591-3fc9-465e-ad2d-d39e4dfb2f9b · outbound

This paper cites In Proceedings of the AAAI conference on artificial intelligence (2020), vol.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning In Proceedings of the AAAI conference on artificial intelligence (2020), vol

Reference 67

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.640604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.758129Z digest=sha256:ac90d1c672e75f9efde6896fa2db8d7cd3fe7c1fa3a51d676c82e69bb6f44bc6

Observation a26dcc60-2708-4b38-a8aa-d672b684e864 · outbound

This paper cites Going deeper with convolutions.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Going deeper with convolutions

Reference 68

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.631997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.760841Z digest=sha256:2dadc34f61596f05754c5a18a63010e4df00b7fdb5b1a3cbf6669fda0fffc30f

Observation d7984583-af3e-427f-960c-682a9fcc7bfa · outbound

This paper cites Ltlbench: Towards benchmarks for evalu- ating temporal logic reasoning in large language models.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Ltlbench: Towards benchmarks for evalu- ating temporal logic reasoning in large language models

Reference 69

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.763351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.763351Z digest=sha256:e02ec33c47ed002a34b26deac1cc40fe3e9c12940c19c091f770f51feacb0080

Observation 342cb0a8-fa00-472b-8dc7-50d046878f13 · outbound

This paper cites Back to recurrent processing at the crossroad of trans- formers and state-space models.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Back to recurrent processing at the crossroad of trans- formers and state-space models

Reference 70

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.622675Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.765868Z digest=sha256:f40ad8152f454c7c9faa6fd25227ee45531875bc10ea6b34807b7c30d2723551

Observation da7c89e8-76ad-417b-98ad-ede854d7c723 · outbound

This paper cites Deepdfa: Automata learning through neural probabilistic relaxations.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Deepdfa: Automata learning through neural probabilistic relaxations

Reference 71

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.613666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.768471Z digest=sha256:4ec4f72b88e8e1c9a2659acdb2f09c8e48e280699ac11bee5ff3251c1ff36bca

Observation 1f4ff863-f76a-420f-9750-6146c539281b · outbound

This paper cites Grounding ltlf specifications in image sequences.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Grounding ltlf specifications in image sequences

Reference 72

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.604970Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.771050Z digest=sha256:561aadd1fdf90a5ddbda21dca869bfa0462ff364c6dd870f5f07591b798d3b12

Observation f79df054-0fc5-48c3-83be-36c81e569cfe · outbound

This paper cites Analyzing differentiable fuzzy logic operators.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Analyzing differentiable fuzzy logic operators

Reference 73

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.596704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.773587Z digest=sha256:bfc7d2412817131a75f9bf41d71112e42a5315113bacd282594e7e3adc1f85e4

Observation 944f6993-3dbd-4694-a0c0-3e397f9c2804 · outbound

This paper cites On the Independence Assumption in Neurosymbolic Learning.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning On the Independence Assumption in Neurosymbolic Learning

Reference 74

Resolution
verified exact
local_arxiv, observed 2026-08-06T14:53:03.967439Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.776133Z digest=sha256:e978e0b8b6288435d45264899ee3ce95c8d2a0c05655740385f0cdd931226326

Observation 459dac9e-7408-459f-a12c-594fb051aeb3 · outbound

This paper cites Symbolic au- tomata constraint solving.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Symbolic au- tomata constraint solving

Reference 75

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.587762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.779039Z digest=sha256:1e47801bfdd863a36e75e34c9fda5df6888b2bddc85ebf1a4dbbb19dd50779f9

Observation 018c8432-9f82-437c-ac0d-8f98802c3820 · outbound

This paper cites IEEE Transac- tions on Pattern Analysis and Machine Intelligence (2024).

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning IEEE Transac- tions on Pattern Analysis and Machine Intelligence (2024)

Reference 76

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.579414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.781793Z digest=sha256:6c318c0f024365dccc6ef1ab721e6c6bd8e824fd9d8b64e99f8f0297b743b777

Observation cba6d80a-90b4-43c5-8e8c-3e82ac633832 · outbound

This paper cites Deepstochlog: Neural stochastic logic programming.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Deepstochlog: Neural stochastic logic programming

Reference 77

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.571049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.784474Z digest=sha256:b3328d14e459e75e139d660fcbd3928d7c78931cde2f477352be8d479ea55ea0

Observation b5563b7b-e5b7-4d33-a65b-7672a49a3b76 · outbound

This paper cites Fashion-mnist: a novel image dataset for benchmarking machine learning algorithms, 2017.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Fashion-mnist: a novel image dataset for benchmarking machine learning algorithms, 2017

Reference 78

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.562329Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.787113Z digest=sha256:79a19eaaa1a5353f5ddcc9b1db543f54722d2b58b76d102bd428296bd3c4b259

Observation 9f6aad1d-8c11-4fc7-a325-6c584bd6b519 · outbound

This paper cites Large Language Models Can Learn Temporal Reasoning.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Large Language Models Can Learn Temporal Reasoning

Reference 79

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.789789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.789789Z digest=sha256:99585abdd9c5b045a9dda1d01e6f7caaaa3064011659b4b0b83db430cef93e25

Observation ca93fd40-ae5a-4d02-bb7e-c664a1980b08 · outbound

This paper cites A semantic loss function for deep learning with symbolic knowledge.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning A semantic loss function for deep learning with symbolic knowledge

Reference 80

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.553604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.792610Z digest=sha256:599b310e103618a7498a4fc369521e3acab1d6ed5f170a5d9cd2e53eb0d4b4be

Observation da1b2ce7-8ff5-41b7-aa53-0a041a5ee490 · outbound

This paper cites Neuro-Symbolic Temporal Point Processes.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Neuro-Symbolic Temporal Point Processes

Reference 81

Resolution
verified exact
local_arxiv, observed 2026-08-06T14:53:03.945927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.795254Z digest=sha256:f776ecb36482e4876fad66544d8531873d803f03f4b831fdac679663e5aeb281

Observation 582a0e71-0c34-4668-9130-883dd9d7c509 · outbound

This paper cites Continual learning through synaptic intelligence.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Continual learning through synaptic intelligence

Reference 82

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.544373Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.798023Z digest=sha256:ac79a2248a1921053d4df46ee96657307f6ce8885a8f2bf910ba063b6e355b62

Observation 7fa0e0a3-ab19-4513-8737-c0a2b6310812 · outbound

This paper cites Slca: Slow learner with classifier alignment for continual learning on a pre- trained model.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Slca: Slow learner with classifier alignment for continual learning on a pre- trained model

Reference 83

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.535874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.800740Z digest=sha256:0134cd26e60c59749b4f7f4eefdc67f80f56e2b16168ea0957ca2db884ec3ea2

Observation 7bf6e584-9e3f-4d36-8cd7-c3a05ed3029a · outbound

This paper cites Continual Learning with Pre-Trained Models: A Survey.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Continual Learning with Pre-Trained Models: A Survey

Reference 84

Resolution
unresolved
no resolver link, observed 2026-08-06T14:53:03.803463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T14:53:03.803463Z digest=sha256:79dba6054b5d315fc25eabf2598d11837cc7e002b34315513fc016b4237e2112

Observation e9c82c6c-007c-4632-82ad-a4c75b6c000b · outbound

This paper cites Continual learning with unknown task boundary.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Continual learning with unknown task boundary

Reference 85

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.527568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.806298Z digest=sha256:22931a305e52ef26a8bcc9e9b5fce3776644d13e13b70f63f0ce98ba3c2625ba

Observation bbe88037-dc4b-4a7b-b76c-b9a681a06343 · outbound

This paper cites an unresolved cited work.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Unresolved cited work

Reference 86

Resolution
unresolved
raw_fallback, observed 2026-08-06T14:53:04.518620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.809505Z digest=sha256:a058fc6dbfa4ddc29b0dbece7b4db2aa59f0166163180242e2664967a43d2965

Observation 4d3594bc-1f97-4799-a9c4-53d3657de41a · outbound

This paper cites an unresolved cited work.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Unresolved cited work

Reference 87

Resolution
unresolved
raw_fallback, observed 2026-08-06T14:53:04.509951Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.812201Z digest=sha256:1ed2fa537ea81144342ca30bd1671e67ad6f8ecda7a86eb8207c2bc4f9dec2d7

Observation 81f17e86-e49b-430c-9960-40790c83cfca · outbound

This paper cites an unresolved cited work.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Unresolved cited work

Reference 88

Resolution
unresolved
raw_fallback, observed 2026-08-06T14:53:04.502196Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.815021Z digest=sha256:83b719fac9639140687e1be0ba0edef7d60da3562551404ca6deae687aa4195f

Observation b0419d1f-74d8-438e-b4e9-30647474b89c · outbound

This paper cites an unresolved cited work.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Unresolved cited work

Reference 89

Resolution
unresolved
raw_fallback, observed 2026-08-06T14:53:04.493838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.817901Z digest=sha256:f7696bd70625391e00090fc2f1b53a11a10cf337c874be5ae29e4dfea72b0c2c

Observation 088962b0-a18c-4df5-8039-8a4dac050110 · outbound

This paper cites [yes] Articles containing theoretical contributions: Does this paper make theoretical contributions? [no] If yes, please complete the list below.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning [yes] Articles containing theoretical contributions: Does this paper make theoretical contributions? [no] If yes, please complete the list below

Reference 90

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.486032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.820700Z digest=sha256:572cd01a779f2fadec9d2a527278c8af8c902da0cc80d26c03c1431f5ce4a462

Observation 228488c7-64c5-4077-b2bc-54a1a7fda3bd · outbound

This paper cites [yes/partially/no] 29https://wandb.ai.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning [yes/partially/no] 29https://wandb.ai

Reference 91

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.477804Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.823922Z digest=sha256:67187bc72d6f67a6bf98befc2f364b16afbaef58082d9cf1d2dc17412f517bd5

Observation 971678b9-b2f2-45d6-8867-d7e793805a64 · outbound

This paper cites [yes/partially/no].

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning [yes/partially/no]

Reference 92

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.468769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.826623Z digest=sha256:945e092e949080aee9135ac1a28c03f3d9ead15594c5861a42f77e0ddeab0cdb

Observation 61dc57ff-0682-4110-b75e-bcb46e96901d · outbound

This paper cites [yes/partially/no].

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning [yes/partially/no]

Reference 93

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.460387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.829527Z digest=sha256:c788efdfdc30a8e83e90a4c5b6b20ae8ce870298dce67a43c9bcea62a7a81034

Observation 087bb5e7-0592-4cb2-9299-0413e7ba47cf · outbound

This paper cites [yes/partially/no].

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning [yes/partially/no]

Reference 94

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.451943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.832319Z digest=sha256:8fafa3f5766fddddd653fdc75d8cf004c68eef9393d2a7090f523606c3390913

Observation 0e83a725-333f-47f5-ab27-714e528d69cc · outbound

This paper cites [yes/partially/no].

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning [yes/partially/no]

Reference 95

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.442432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.835038Z digest=sha256:fd8af6203de17ac79c155774e4b7b0f43d7203ca8d4bd3c1857630ee8ba213be

Observation 361b5fe9-7bf5-4b03-afd7-51a1dfa145cd · outbound

This paper cites [yes/partially/no] Articles reporting on computational experiments: Does this paper include computational experiments? [yes] If yes, please complete the list below.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning [yes/partially/no] Articles reporting on computational experiments: Does this paper include computational experiments? [yes] If yes, please complete the list below

Reference 96

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.434569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.838020Z digest=sha256:a38884c6ed7d8d163b3c32cbac3f0d75a2f0d74f4491245cd068f91c0cbfff91

Observation 1fb287ab-1bfc-4ab4-b5ae-3fd631799529 · outbound

This paper cites The online appendix follows best practices for source code readability and documentation as well as for long-term accessibility.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning The online appendix follows best practices for source code readability and documentation as well as for long-term accessibility

Reference 97

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.426008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.841304Z digest=sha256:b616ab9e6d413069f740ccc017ec62851b90b1bebb8e651a41cf3a700250b5ad

Observation 597b609d-ad39-4431-ab7a-a86c0e61e9ed · outbound

This paper cites an unresolved cited work.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Unresolved cited work

Reference 98

Resolution
unresolved
raw_fallback, observed 2026-08-06T14:53:04.417351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.844092Z digest=sha256:ecc779e0279fca336ad365148b82b78a1d2d26bb3db6766892f48181983bae4e

Observation ca127937-2b85-486f-8230-134a0ce1d71b · outbound

This paper cites an unresolved cited work.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Unresolved cited work

Reference 99

Resolution
unresolved
raw_fallback, observed 2026-08-06T14:53:04.409378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.847084Z digest=sha256:f8f903d1e4fb9b351c7dcad69de255e5f9bbf8d52e828cc9f3e190d0a27d4194

Observation a26a97b9-5588-4eab-b3f2-8031155842e4 · outbound

This paper cites The online appendix follows best practices for long-term accessibility.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning The online appendix follows best practices for long-term accessibility

Reference 100

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T14:53:04.401250Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T14:53:03.849968Z digest=sha256:72ea175615693256f5c2428603c2b93baa508a4311ba5577de758e9f1daf5c08

Pith citing papers

No inbound Pith citation observations are available.