Pith. sign in

Paper Citation Record · LEDGER

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

As of 18 August 2026, this Paper Citation Record lists 100 of 118 outbound references and 0 inbound Pith citation observations for arXiv:2507.17482.

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-17T06:30:58.91139+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:f63f832ed6f795191dc7216a7b174d0cd1bc6252e5fec5735eea65038356ac68

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:38ca5912edc24b1b498d90023e50f1e4256216c896a3fe03eef10667c80192aa

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

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:99ed3b6bb9573a72c23977fe9da368e2f228be8f86138ed7c59a59ebb245049e

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

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:936f43720bb3eeb80f127ed28797570ddff4b6b1dd05f8ce776668ad446b753b

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-17T06:30:58.91139+00:00.

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

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

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:74ec61c0c05aac726b1e1acc978fc2b01e0017e389641b2c833b026aa62fcac6

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

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

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

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:8850cdb290a075e8eea955a8acc94f5e979704e360d7989c38ff5aaf61f782b1

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

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

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

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

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

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

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

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

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

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.633630Z digest=sha256:188cf4d839034aea1ccc98c0779dcaaf70788c560afcdadcd541b07e624a0a6d

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

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:120b34497e1e239122192639b876d8c356147eb3471c40ffee6dd3c069b50f1b

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

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:67c88aa9d12a55fa53a6bf516ab95122f4e5f0a8af555f8faaaffc475c876c46

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

This paper cites Chain-of-Evidence Multimodal Reasoning for Few-shot Temporal Action Localization.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning Chain-of-Evidence Multimodal Reasoning for Few-shot Temporal Action Localization

Reference 29

Resolution
verified exact
raw_fallback, observed 2026-08-18T01:11:47.031980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

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

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

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

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:70080e9ab38ae1de9b675d8d8be8fdcce44cc3bcd4c5bb650ace821b82b5276a

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

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:319cc1359eac9ca6da785caa69fc2a6683f76a2f1f1a45c9361992b038439d5a

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

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

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

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

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:916a1d8f828118e8c2dd9080bee04b122e52a4631f4b1d7cb6ab3c82c86eb5f2

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

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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

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:51d69c565f46a3e482f682a2981877482fe0ab24f1af30d5130995c33ed0b484

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.702832Z digest=sha256:208e42c5a96904e8112cd3de302120374d1263f702ad528c878eb1654ecbe45d

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.705915Z digest=sha256:7d3e180cd6f91fc300ce1203edaa5d15278f3d98f3bb2dc63b2628013108a5c7

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.714624Z digest=sha256:7751e560b3c4ee27b30031d407cb776626b688872685e73dfcd3bc835d3bc91b

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.717613Z digest=sha256:4a0328abad2cc5022add52e52d03156841a1123ab7fd6d8a4fdee19777d9af5e

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.726177Z digest=sha256:00b2d95091b4b25502cf2eee1a3310b3fb4e52acaea8804b5f4f559bb54c0f21

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.732475Z digest=sha256:272a51460d0dc21488d30863a538c0bdd85bec958d901749b4d3c1be676a1d2d

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.738387Z digest=sha256:163de496c0e89c52f2c3d4417dd883069eea70b08dd72dfc1a83e02a4c0247fa

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.741199Z digest=sha256:4710da366af2239952e951898a8da92b16cfec5dc69831ef51d7106794b22bf3

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.752097Z digest=sha256:2b24cd613b3d956048c3c0f14f916fa87486845497aed0153b9533a704db2cb0

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.760841Z digest=sha256:26950c74e8399d270cd24361b775192093c45b314d8dd875fcd97f06165358c2

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:0498759ed29716f4841835e1b2a87217723cfc5f684b09e0cead83e22774454c

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.779039Z digest=sha256:58ce9bca7b56568a5e4d16cb0ed5b1ba76b986db596fc6be3c6d938d694da984

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.792610Z digest=sha256:239fd9c87ed7a4f1fb145c096439b9249e40701a9fc095fd59b7168a232b76ed

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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:953ed88af31160e83bb90177bdeb951da91f2c77b34846bfe9da8c90c20d6902

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.806298Z digest=sha256:1d615caabba0e6ea1dec9bc95c4483f2f94987acdd93cfff84fbe51a689ea4c2

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.815021Z digest=sha256:4c0f43040441459b9de08be1d123234750830c1e15304c5fe19b87b72644c8a7

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.826623Z digest=sha256:417db39ddf4d1b1ec83be31d7e2b60562dcaed677f71f02612afbe9c837f644c

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-06T14:53:03.832319Z digest=sha256:12ba827c6a9b4cd5b777023c2287284cd0a0f96c50e8d5467064512783a863d9

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

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-17T06:30:58.91139+00:00.

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

Pith citing papers

No inbound Pith citation observations are available.