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:7e78c248727aa16b1d0ba4f113cb43fe92853bfc8c05d849391df25af8e3ccb4

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:54866c0951eeb0d8a06ebd9c0d40c833e77755427121cef39474eba7df83181b

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:be25a5c896a10c99bcbb304f3c290b618bb20980b63b321b7cfa4725f000fa8e

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:9ae5b35b63645690b2599b7e07a133510688c7201045c9a0212e4abb8d7201df

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:8b3d04e5316d512f0950f73794dd7d9f585e1b160eb545b0faea99e3ca7ee65f

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:68bc3925b14ca0b99d5a8ab052cbb6a11840cad19f1896bc8d39b1f9fd8df2ee

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:21327336831d654cf465ac2f08e87a5946c8361c1ca8033f323c1cc69c80fe12

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:f614153db50e0ddd816a27bdbc3adf1ddff1e23386869eca2ab98a1669780a54

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:4cd8a5e0217f6000b9ca6d0b3c3bf71badca981bbf20f5980578dbf5431ef296

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:20ecbabc51137670472ab69402b75cf3b0a04529be932e1c7226255db88ca873

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:4be26b43d63e6c51a716d27a6dca30e2cb930d62aadf5dc496cd4ede261201c0

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:0e4746297f4b409b2866f161368d9f1a1eb1d04a6fbdc37b10a06c6e099bdb22

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:a6d0b570db4f0553267c276b948bac1b899b8355a9d04b44f7288f7226d2230c

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:cc04c953651de7d5ce75f2685a2f5e5d323c9a514f8d3dfe7e6591148f26eb80

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:457f4f4f7687c881a89dedbd712cb9c1ea3ee52d83ae36995b9249c3ec8f33bc

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:deb6d93a3d3a05036f544c2fd46c4b185348eaf2b97cd04138fccec4065f270b

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:958db4763480b160b544d5b6cd034a7a7229aa8aea0a46ff2238728deac71565

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:162c065909e463f1bcaee6b3123c62020e60955cb6103b633af99189f43bfdb3

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:25eae63eeb7c48903bdcd28e0b3acbe6085695e3032da6f5f0d0a7817700bcfe

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:63753c65d4980993b9f7a844dd009acd5af38e1ea292bdb3444c98046a95539c

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:184c449a815b03f84576cc8817bc03711751d92314c2b456c7c5488664bb69f9

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:423e56df38c52cde9565321f757f7597aedbdab0fd1a92520caf1a9ccd97b549

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:ef4b041eb58690600068d756ed0d4fa8ccd78a9949a10eb415830fe44609a570

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:1574911be4a6001139439da2a0667eaabff93d1d0b0ecee71ef43b10496aee16

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:a06c6659b684c8981e5846eb7930cf7244a4e277c5c246bcf5fdab05bbbab1ab

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:826ac926262ca679ed7228bd8688ac68cf7b70d667a9bc05203cd710f2463712

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:fd7bcf2f6d48cb8ce658a4577831109dcd4aa990b41c84e5b7bb4bd0a37175be

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:822bf77d4722b6c01e3aec35b43450b5ef06e970078bc70ec921c836880e7617

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:6c960ff150ec2dbc1df68c0b11581beeb3caeeaba826ab191b09aeb29bdd48c2

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:48f471cf4db24dbaa56e210146d8ff6902bc42c9739676a16bdda71a6943b81b

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:20c1be30a792aac95ce77bd29ddc23acc2d5b4b6b0ab9279c271fb76dff6dd75

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:81e7e57ffee2e5131bcea3646666b29670b7f3267c15eba9c40d4596f5af30b3

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:c029731b1c39e33c62839eece27fb340de097917398674015300b656f973248e

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:b5ffa4eb2e2a71af41fa8fc3ceb3de89dfbeeed486ae8ecb27756a55bb9a1ddf

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:0172f15d9916c9d400b2437dc44a8c484558c51490956d52a46b5199f1b728ca

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:4231de49ef62984796a752c9219be3e87c33954b5d45d7d5c22182a8d20c9615

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:e3728d6183901145b98307973a603c3db672a3af8ef91d0160b50bcd3a24f7e2

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:e4716bf42381b6a2f51ae4033f192b1442361a804df508e7f8f58e84dae69da8

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:320a2d9976597e30fdec88e12cdd847375448ec908d092e4f6449362c20d85a8

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:a5b8e3ca481909bdf4547b33f565dbf8ef32e6b31957298518622ce5ac280963

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:b8d36025498f89e0dc1148026403001a83340d715888421d266684c34d8d70a6

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:1dc5116b4e17b540ac8469938fb78954d4eb0c728a6cccfa9f5993cef2a2f6b5

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:2a54d542118847e042adaba53f56f1e35e93f882aba8daea52de34e64d153068

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:f65eaa339277554292ad6694cf3882ef126402c02ff03f58feb1bf3fc11ad920

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:c6de2353bf50781298e4703d409905d503afa8cbdf94e28e22b54dc315ebb908

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:0ba794bfa50eaba06c1ec0ab022f61e0a8e7434e586bae8561d6965cf5385069

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:123abc858200e74514e1a29850ef33159dc0db0d60aa4ca18efa1892e69448e5

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:d9ad308f46ea69e2cf20fb1e6881b010d543726c313ca3b467d5aeb38072fb6a

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:82674085081bd19aecea64843f10ee672d3fce20579208a7c890aabc11d61018

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:c526af167e6ff83f4c17c1f2f59a5bf7b0fa3b1c0bb7fb53dc15525be09828c2

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:b8d678aeda721bae82b5815fad5be117291c78ce27e6e066d90268c378f3e214

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:3802e1a0fe13059fc8d39122f783d6a1ce0e72bebeaae9602ddb56c1f71c7171

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:cb07b8fa8d59156868775be880d343ef094f08b595769f1df6c09d3e6a0a3899

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:6c9cf687b55eef8f68969967e28c0e437f8172a2b9ed12ffef5ff75f3de0f701

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:5efd2adff1bfc5f178bb9addf7fa90e0fb9aff907d5bcbcdef1eb5474c54dbc1

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:2ec92a04648efb698a2743769b717db6cd0905f854c34b3644d8621ea9eaaeda

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:d639efa9a84da513b2e072ca6e9fef0bc028a4bf3b8f579ed85e2b89a06edffe

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:4e859bd946a01cdb940dc00027bba9e2305eac307d0fc9c08cd6f19ff8ee6f4c

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:c3b47b105ef9a2a2b4f6500c5930111808c99f559ab4c34b9db1a6dd49bc2fb6

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:b6626447d0f409e76489f94b55657d76ab26f44327e23e66ea471cf81e7491bc

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:601b00e6c727cf468adf69a1081d04e96def43664d065ba74303ff6a4736efc2

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:724b987bd5efc16ed30d80d6c0d709b69ee9053754e668290cefe47525f175d5

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:a0bea09b40339b4be6b2ca98c0956c9f9e9a87009b46b4e9166ce277ee5741fd

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:74305de21479a116afe141e631b951ebc7a4e73c1d615566ddd92e09d31c3f38

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:977174a41b70e46716db401c2fd4643b1d82deac02925791a0557b3974fc2d2b

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:0478735491694fa76834a5a33a345f66a224577a66dac25a51e4b2ffb5db0971

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:c884b897a2503d2f9cb596729929094fa7f20a29da5a6c71566de1ba22bf2bd6

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:133435e4834138c06c8283d9d00e32240429147d0c0413b5404d59e600865f1e

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:703bd260c8e566b538e8f722ecf8b9433785dee55776581982aa2f75ce7307a2

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:03bd8109db2c567a56186587ad47942dbef4a49a40a24b9c7879a2c286635156

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:d294a04afa6683ed1c18e7c7f0e5338b58c41df320493aa0b39c4f85319b07fe

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:1f6a2c8d547184a2e02d40281b8d1562a73197bb76eabdce617e4651ceafdd7b

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:a0c697c9a9b5ad40cd91671886e82babac48f785f57255a7b3d4148261402fb3

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:926679556f8587218fedcd599e7ba018337dd196b8b702876285ff8bb94b9887

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:ffc3f2bc28c261264f931e9e3ca58df4fae9376ce5ddf761b24db0504cc1fa79

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:6530ab2fb66ba61e9c1fdd1888cfaeba98e5b7f74ccf74461c9b7cded74ff0c4

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:0b9f7ead0c61d2934b7e202dce17ea9daca2b7cf5032c611b3c8d18afbd1beaf

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:ab7a5c31bf581e2e4192519adec7829491bbdd5308e0a0d6f4bbe86f472ba699

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:6fa72758025f18f6b3c39f11925c92379f2000bc8b66adf1aa064c5654ac6989

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:1597952642045783f9878f6a4b099f342f32e137a4fb6f03e6114dbcd7ec1b4c

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:4c7486e66b35a364a4cc96bb11bb6a501291816f2c20f93403698493cf0049c6

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:8a61772e7207b0ddcf5bf583a6ec2a16ef6a4db3bf5a8171034d31e93cd058af

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:3cd8c771d6b0311791570e3c3c4b87876bc7ed8cef0e802e44deb88964a0f72a

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:920a48ac220f99f58f401733d00fc35dee1cb2082fd0db2c9bb9aa00a8745de8

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:6cdfef873cce7319cf3220b3bb03b9cb33dc4434452ac3321aa6b99c822f03b8

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:ba7212a69d8d89b294a4f47e61e824999754865bac9add759219725b7b6dd796

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:19200325dba6898d831418ff27230b77b487c26e3548af29a82948764212a338

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:a9fb9c31384724bd4df57ff73bac8ded5691b4cb254abe67f23aed33710241b3

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:34ce6fcfd335a0e0607eae186d9b46739e5eab14a573d6c20a12e8634af67430

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:d13f69a9b86e12957dd5e358362f8c2b4c4dbe7df0688c1fa1fde18c2a0e8908

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:3117f514f72554d50bd98e7e3d7c1f96d1b63df2d9b22681aa6a34c02de62bf7

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:eb1bd4f1cb114e8268e5611dbe530028f5df4caa59aeda25227eec807e20c7d4

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:2e2805073bfa3127c0881af4d584357a2c041774117f25c8f4cdcc3133b45561

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:c633cdab6c26964acbd575bbb73b95c79469e445abfa73f9710551ea38fb845c

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:d77117c26751fef7597ea4c2841130271bcd2ca560a008b0d9e623a0c261a82e

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:aea4a0e4ea5926bb2d9e595a707914bdf124badeec3c5262e24a1e8727f7a1ef

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:dc6b8609229aca4934f65cfedbd626bd204ac6b44fb08f801b1e2fde08491379

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:5413aa773d9cf0d54d20f11c680904f99a5ee923427cc2c07bcba4b918a77429

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:33a18af12b343986f96e3455953d68e39aa3beed565f7d44475f5dba46908d80

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:978fffefea8d875e8034bb215c266f59e9e1b93b8284d7ebae2acbca4d279f5f

Pith citing papers

No inbound Pith citation observations are available.