{"as_of":"2026-08-17T23:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d2847837a89efbb1d655b21af4454193c48e55efdb427f244a0c988cba7469ad","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T23:17:16.499236Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T14:53:03.688404Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T14:53:04.091727Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"cited_work":{"arxiv_id":"2505.05106","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.05106","snapshot_observed_at":"2026-08-06T14:53:04.091727Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","venue":"cs.AI","work_id":"c89eef15-7fe9-4c83-94d8-4d6a1e60b7c0","year":2025},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-17T15:19:46.994757Z","submitted_at":"2025-07-23T13:04:13Z","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.688404Z"},"links":{"cited_paper":"/paper/2505.05106","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:b32eb353e6dde33b22b8b6ab4165d78d26245365588874a62b850121407e8834","observation_id":"26ac6f65-29c5-4f64-b969-02632f00e195","resolution":{"observed_at":"2026-08-06T14:53:04.095506Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.05106/citation-record","integrity":"/paper/2505.05106/integrity","json":"/paper/2505.05106/citation-record.json","paper":"/paper/2505.05106"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:17.305747Z","title":"Inference of reversible languages","venue":null,"work_id":"aea69b48-edf6-4063-8f33-0e01c57a7646","year":1982},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.295512Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:8199a9b92265dba0d611c8a415c352c81abb9285b5c8fb02a8749f346eab99e1","observation_id":"cab7a003-99e4-49cf-8fc1-d80e8065fec3","resolution":{"observed_at":"2026-08-15T23:17:17.311098Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.301560Z","title":"Logic tensor networks","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.301560Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:97bc8fd6e91155976c03dc0081f1565741edc5a8eb5bac03f49338468af1e25d","observation_id":"d5755c96-951d-416e-a90b-7788bc9ce37b","resolution":{"observed_at":"2026-08-15T23:17:16.301560Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:17.276645Z","title":"Neural-symbolic learning and reasoning: A survey and interpretation 1","venue":null,"work_id":"21b3fa0b-0521-499c-9cd7-213c13311424","year":2021},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.307043Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:abae251ed72b9847d0847ce8b60b6f21de30806f1c3ab42eb2f94577ed1669d8","observation_id":"a2b61c41-806d-4838-bba6-9473bd508343","resolution":{"observed_at":"2026-08-15T23:17:17.282237Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:17.260097Z","title":"Learning interpretable models expressed in linear temporal logic","venue":null,"work_id":"ab53fda5-5707-44b8-a512-b7b4a1fc34ee","year":2019},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.312989Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:4d4f50a6b4e68392f68d6673e67d1f8e0dc749f3297454f81c745286b3d6b1fd","observation_id":"4a5202bb-587a-450b-a220-282194093a5c","resolution":{"observed_at":"2026-08-15T23:17:17.265437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:17.242324Z","title":"Device classification for industrial control systems using predicted traffic features","venue":null,"work_id":"e2b05769-a6c8-4e7a-a42f-e9d561d3bd37","year":2022},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.318585Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:fa7d8c9a0ea982d4c8fa4aebe024bf64e4dfa8a9f18f8d9965970a2f95342742","observation_id":"5ee9c8ba-4dd8-4a51-93b2-dbef5cd53a01","resolution":{"observed_at":"2026-08-15T23:17:17.248520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.323748Z","title":"On probabilistic inference by weighted model counting","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.323748Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:86d9a141872432a292048b7ddb54129db0ece375b9016588a923580f102543f9","observation_id":"43b0115b-3bae-4506-b893-b47a37e395e8","resolution":{"observed_at":"2026-08-15T23:17:16.323748Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.329419Z","title":"A knowledge compilation map","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.329419Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:8e5e08d5ffd3521b7e86fdc475d5b7dfb93c9d656612173a76f3c9c8b986b71b","observation_id":"661d4570-17f4-4b08-ae9f-dfc7ce5d626c","resolution":{"observed_at":"2026-08-15T23:17:16.329419Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:17.200842Z","title":"Linear temporal logic and linear dynamic logic on finite traces","venue":null,"work_id":"ffd517be-eb9e-48aa-ac4c-b33b84120fb5","year":2013},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.334508Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:409f98f3c05936af4cae56dee117005b25971e92ffe58d312185575c7eba6dd3","observation_id":"2f9876b5-5e64-4563-8ee1-f9a4d8605534","resolution":{"observed_at":"2026-08-15T23:17:17.207202Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:17.149766Z","title":"Statistical relational artificial intelligence: Logic, probability, and computation","venue":null,"work_id":"ffc56c60-10df-43e6-85e2-e269243045ff","year":2016},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.339301Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:74d9bd08842afee88311b5380fcd946f3872b74f906aa319e212a0d0dade8d8f","observation_id":"685e6c81-91e5-4528-bcd8-a9fb6cc8f8b1","resolution":{"observed_at":"2026-08-15T23:17:17.189476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:17.051682Z","title":"The power of symbolic automata and transducers","venue":null,"work_id":"891b170c-2d51-41eb-a8c6-41f48dd31986","year":2017},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.344773Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:19a060ed2ecc54717e3a830f0f65cd7bab55fb1d42dfe7396665236d64a42a24","observation_id":"0a846fae-8993-485a-bcd4-70f9eb649f30","resolution":{"observed_at":"2026-08-15T23:17:17.094901Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:17.032213Z","title":"Learning regular expressions from noisy sequences","venue":null,"work_id":"e670f5b2-f7fd-4632-afd8-e1e38b1f3307","year":2005},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.349551Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:9580270c3daeff99a00e9c74aa077ada76da0f1def4163a6492e413b93e80dd9","observation_id":"559e8c08-b648-4a0c-a679-92592974e507","resolution":{"observed_at":"2026-08-15T23:17:17.038126Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:17.012188Z","title":"Foundations of support constraint machines","venue":null,"work_id":"82f327dd-0dfe-4478-a362-095c97d933f9","year":2015},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.354305Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:d6e6e341bbce71e8ba8f703090a2c9980d1a41871bb231a0e6698582d6e2a8ad","observation_id":"86bcb826-435e-4013-ad59-818b545eaf14","resolution":{"observed_at":"2026-08-15T23:17:17.018244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.994034Z","title":"Provenance semirings","venue":null,"work_id":"26a2f508-832e-44d4-bafb-17b8d2ea21da","year":2007},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.358896Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:ec5b144d5af7ccaca960a2ee50aa142a314e32ca7fa0d45b9c81d0899c3c2dfb","observation_id":"4c8a36ca-a672-4799-aa58-17eb7fad1938","resolution":{"observed_at":"2026-08-15T23:17:16.999631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.974394Z","title":"A comprehensive explanation framework for biomedical time series classification","venue":null,"work_id":"08a5c310-adca-4a45-98b8-9919f9ff4215","year":2021},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.363629Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:53909d2a4ee7920cde163f96d721e61ba7497e59b6d7685d928ab59924905ea3","observation_id":"2233977d-acd0-4f5f-9086-fda954bc7102","resolution":{"observed_at":"2026-08-15T23:17:16.981209Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.955390Z","title":"Algebraic model counting","venue":null,"work_id":"5b430f34-5bff-44a1-a44e-e79d5202f4da","year":2017},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.368297Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:d1d154b9222ca3cf60676980aa61de2978d0825f12fdaaa1e11f790f475edc77","observation_id":"00e80f78-9a03-42f1-830e-f0c5a172d1a6","resolution":{"observed_at":"2026-08-15T23:17:16.960875Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.373181Z","title":"The mnist database of handwritten digits","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.373181Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:a26f3f2e302de11ccaf0137a2a10e9caf4fe0b695a06e339ff73f92ea8f8dbfe","observation_id":"43c1ee71-de83-4153-91f2-14c5bfd62fec","resolution":{"observed_at":"2026-08-15T23:17:16.373181Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.927546Z","title":"Scallop: A language for neurosymbolic programming","venue":null,"work_id":"fa280eb5-b78e-41d2-8385-3fc71db68d55","year":2023},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.377709Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:ae2f6b053d1a1ad12aa5a50a206ef499218a34c81f753f2d46224e43866045ee","observation_id":"852539ae-bb81-4b4a-a704-61761d61329d","resolution":{"observed_at":"2026-08-15T23:17:16.932742Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.911151Z","title":"Checking ltl satisfiability via end-to-end learning","venue":null,"work_id":"6a6485b4-d669-4f14-946a-c7e494c76f3f","year":2022},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.382959Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:24cae00ae7212833d7a72894a7cadaafd26ec201a24370ddabb6e5a0c6084253","observation_id":"9efaa680-78b5-449f-b1da-eb518d3d9c34","resolution":{"observed_at":"2026-08-15T23:17:16.915978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.894377Z","title":"Learning to check ltl satisfiability and to generate traces via differentiable trace checking","venue":null,"work_id":"48fc0c39-f8f3-4622-92f5-6c7143f9eca7","year":2024},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.388449Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:8f9a7fb19174dd53a1b7f4569db57f6e42370d688dff8866dd5a2a2fea581b3c","observation_id":"6582bf6e-b99a-42aa-8ac3-b8d20f3c8c48","resolution":{"observed_at":"2026-08-15T23:17:16.899563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.04472","last_updated":"2024-06-06T19:56:33Z","snapshot_observed_at":"2026-08-16T13:45:22.060184Z","submitted_at":"2024-06-06T19:56:33Z","title":"On the Hardness of Probabilistic Neurosymbolic Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.04472","snapshot_observed_at":"2026-08-15T23:17:16.393273Z","title":"On the hardness of probabilistic neurosymbolic learning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.393273Z"},"links":{"cited_paper":"/paper/2406.04472","citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:0bc9e8574ad432a226135d066ec1b8cb6433f920877dfa8f3c91f17f6dd4a483","observation_id":"3d9738a3-2242-443e-90f8-a9b642ad288c","resolution":{"observed_at":"2026-08-15T23:17:16.393273Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.07331","last_updated":"2025-05-20T21:22:14Z","snapshot_observed_at":"2026-08-11T18:53:22.222454Z","submitted_at":"2024-12-10T09:23:36Z","title":"NeSyA: Neurosymbolic Automata","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.07331","snapshot_observed_at":"2026-08-15T23:17:16.398093Z","title":"Nesya: Neurosymbolic automata","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.398093Z"},"links":{"cited_paper":"/paper/2412.07331","citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:bee18e834ee5b8705a213ae1d889464a56474feff2982eef59b3259e36a25837","observation_id":"446e624c-41c8-43dd-90af-f69625aba65b","resolution":{"observed_at":"2026-08-15T23:17:16.398093Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.403353Z","title":"Deepproblog: Neural probabilistic logic programming","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.403353Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:cce4144f60062758e336ba122da41f57ff6cdcf0b10c393af6cd180bac3f0509","observation_id":"eed44b32-3388-4551-afa4-b49ed4496d13","resolution":{"observed_at":"2026-08-15T23:17:16.403353Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.868041Z","title":"Approximate inference for neural probabilistic logic programming","venue":null,"work_id":"3acdd1f3-40b8-4b51-9994-ec37ee4fb0f4","year":2021},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.407829Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:401812e40c029626de8ea0532e8e1a3268b84ca5070a5cf0694be6a7ae090ddd","observation_id":"29b9e597-d343-4ee5-91b0-de63dfbabf66","resolution":{"observed_at":"2026-08-15T23:17:16.873007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.851510Z","title":"From statistical relational to neurosymbolic artificial intelligence: A survey","venue":null,"work_id":"d90a0dc6-efa0-4e38-8499-db7ed8da266d","year":2024},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.412162Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:5714e5abc239b950112d07c46924a15bb6119496c6715082afee8cc2e045477d","observation_id":"aec6120e-3f50-4650-a68e-73ed5177c886","resolution":{"observed_at":"2026-08-15T23:17:16.856804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2207.11649","last_updated":"2022-07-26T04:09:22Z","snapshot_observed_at":"2026-08-16T16:43:48.270581Z","submitted_at":"2022-07-24T03:34:21Z","title":"OCTAL: Graph Representation Learning for LTL Model Checking","version":2},"cited_work":{"arxiv_id":"2207.11649","doi":null,"metadata_source":"pith","pith_arxiv_id":"2207.11649","snapshot_observed_at":"2026-08-15T23:17:16.574624Z","title":"OCTAL: Graph Representation Learning for LTL Model Checking","venue":"cs.PL","work_id":"e11d8d6d-b8ab-470a-9cbc-ae0aaa39e050","year":2022},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.416370Z"},"links":{"cited_paper":"/paper/2207.11649","citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:b80c8e3ec42b2e48766b406392520c8a63a44904a72cb7473336c83e2113e386","observation_id":"bb916b00-3778-4573-84c1-3dfb7af79fc7","resolution":{"observed_at":"2026-08-15T23:17:16.582833Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.834700Z","title":"Minizinc: Towards a standard cp modelling language","venue":null,"work_id":"73c1fb6b-d597-4b13-a8fb-fb89be87e37e","year":2007},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.421013Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:0d2082010c28e3db35af48e61c464102df259614a90cbd5109292e3486566b29","observation_id":"3d199015-33b9-4b10-a5e7-169b41a1ea06","resolution":{"observed_at":"2026-08-15T23:17:16.840026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.425566Z","title":"Reading digits in natural images with unsupervised feature learning","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.425566Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:27252f52bae33b1dcaaf07977eab6b80a37a93f57feaca14852732f3736dc698","observation_id":"34f2a85e-4303-41e1-88de-3e5c7f22c62b","resolution":{"observed_at":"2026-08-15T23:17:16.425566Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.806922Z","title":"The temporal logic of programs","venue":null,"work_id":"8f0cd7eb-c33b-48a7-8988-f7db785d3d90","year":1977},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.430658Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:f85df691d7808a82b337def3746ac9d0f1ec93efbab7217a51c27b65ff32f681","observation_id":"b4fc75a7-ad16-4081-b7a3-ca60c04927fe","resolution":{"observed_at":"2026-08-15T23:17:16.812031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.790391Z","title":"A scenario-based assessment approach for automated driving by using time series classification of human-driving behaviour","venue":null,"work_id":"383eee28-fada-45dc-a16c-973364e4b0f0","year":2016},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.435273Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:64a2465eb4f59b3f314facdfb4cb492b7c8ef8479c11e8709e25323f3701954e","observation_id":"4f4e5877-3323-43f6-95e8-45b8b4a044cc","resolution":{"observed_at":"2026-08-15T23:17:16.795262Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.773968Z","title":"Ltl satisfiability checking","venue":null,"work_id":"c73c11d6-6354-4be4-ae50-bf7791d69841","year":2007},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.439859Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:5c66a8b6cfc350eadd5e85430bc6d847d23e6543b96e76ac92b17efe37c80882","observation_id":"c7ff5b75-0647-4671-b334-6e90d290c283","resolution":{"observed_at":"2026-08-15T23:17:16.779328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.444441Z","title":"Deepdfa: Automata learning through neural probabilistic relaxations","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.444441Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:b7a28f2be921469ed4d043f2e8176e8cb42abb153f0e1ffa33ae4a7e0433380f","observation_id":"25bf9864-3e6a-427c-af97-0017476d9625","resolution":{"observed_at":"2026-08-15T23:17:16.444441Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.449313Z","title":"Grounding ltlf specifications in image sequences","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.449313Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:625836a6ef420e9c3040cb3fdbdd6a897fe76703f813aeb1728dc46f1433db0e","observation_id":"66471064-e27a-447a-a930-ef1935222088","resolution":{"observed_at":"2026-08-15T23:17:16.449313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.737613Z","title":"Analyzing differentiable fuzzy logic operators","venue":null,"work_id":"346524d9-187c-4a72-95e3-86377c7c3a06","year":2022},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.454119Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:bdb4dac759ed01975b3e247d8e053c63e3dee0dc796eabcfbd91dcfcfc965303","observation_id":"8db1cb34-38b8-48c4-8b11-a0fb93d258d3","resolution":{"observed_at":"2026-08-15T23:17:16.742682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.08458","last_updated":"2024-06-07T15:10:50Z","snapshot_observed_at":"2026-08-16T14:01:26.155775Z","submitted_at":"2024-04-12T13:09:48Z","title":"On the Independence Assumption in Neurosymbolic Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.08458","snapshot_observed_at":"2026-08-15T23:17:16.459271Z","title":"On the independence assumption in neurosymbolic learning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.459271Z"},"links":{"cited_paper":"/paper/2404.08458","citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:e18d2e08fabf557ebda70577649990081680394fbd600a06677d31698d120f75","observation_id":"bbe876fa-cebe-475d-8205-5eb219228103","resolution":{"observed_at":"2026-08-15T23:17:16.459271Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.721686Z","title":"Symbolic automata constraint solving","venue":null,"work_id":"bdf3e5f7-4e42-4791-a1fe-8c94599f7c8b","year":2010},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.464827Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:c2b9854d252ed827d801f1cf33bd1b9ba73d10b4c5e56bf1945edeb4dfa55bcf","observation_id":"4398302c-90e3-416c-9b81-97967cc3260d","resolution":{"observed_at":"2026-08-15T23:17:16.726632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.705194Z","title":"Applications of symbolic finite automata","venue":null,"work_id":"7adb572b-b78a-4e98-af64-c5481e059932","year":2013},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.469406Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:8685e6a0f2f0cfc9c4f0a943be48a7d3fd12424adf39aa087182935379437d71","observation_id":"2e450af4-9aeb-48f6-82a2-a223c28a0a02","resolution":{"observed_at":"2026-08-15T23:17:16.710472Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2111.04147","last_updated":"2021-11-21T22:37:29Z","snapshot_observed_at":"2026-08-16T17:43:26.932542Z","submitted_at":"2021-11-07T18:51:02Z","title":"Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2111.04147","snapshot_observed_at":"2026-08-15T23:17:16.474473Z","title":"Learning finite linear temporal logic specifications with a specialized neural operator","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.474473Z"},"links":{"cited_paper":"/paper/2111.04147","citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:24dc79a5bc704e0edbecf1b8278427a27a1306d2bb97195a2c0e6e5e007522c4","observation_id":"27a3f7ce-ef2a-442c-aab7-ca4e0c16324d","resolution":{"observed_at":"2026-08-15T23:17:16.474473Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.686418Z","title":"A comprehensive survey of continual learning: theory, method and application","venue":null,"work_id":"a1b4b7e7-1779-4d85-9afc-446994050234","year":2024},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.479286Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:88eeb28f0e4362f7a3ce40839e25ff48ff33bdcfa75d2849f947bb9f112a2f33","observation_id":"bf6952f9-1d51-4d6f-a35f-6d59964d276e","resolution":{"observed_at":"2026-08-15T23:17:16.692148Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.483701Z","title":"Fashion-mnist: a novel image dataset for benchmarking machine learning algorithms, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.483701Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:d9ea41a074174c2081f581d3509ab40c745572ad7ebe6d3b0cf73ebe1e0dc1f1","observation_id":"4daf45ce-f87f-4840-8c4d-7bf8882e117e","resolution":{"observed_at":"2026-08-15T23:17:16.483701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.658464Z","title":"Embedding symbolic temporal knowledge into deep sequential models","venue":null,"work_id":"8c344182-a318-406c-8bfa-e9c266191c8e","year":2021},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.488551Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:7867bd45551c6e7aef36181b6032575640530382336129d8db17a014b7b7784f","observation_id":"9fd158c2-ddc1-410e-987b-8aee1a0d4339","resolution":{"observed_at":"2026-08-15T23:17:16.664978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.493332Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.493332Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:fb2bc4b381ed0bc7f7ab6c378d68aaa87e43ce825694be37b28cde3139ec78c6","observation_id":"3c85687f-af80-4e96-ba01-cf5aad80dcdf","resolution":{"observed_at":"2026-08-15T23:17:16.493332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:17:16.631234Z","title":"Sympy: symbolic computing in python","venue":null,"work_id":"eeced9e5-8150-4ee1-9770-755d56856b3d","year":2017},"citing_paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-15T23:17:16.499236Z"},"links":{"citing_paper":"/paper/2505.05106"},"observation_digest":"sha256:450a13d910843f1cd389d9f8799faa380e27ab99531831bb1467ab7a2d8aed6f","observation_id":"07539603-9e0d-4379-abfb-c6840530c197","resolution":{"observed_at":"2026-08-15T23:17:16.636204Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.05106","last_updated":"2025-05-08T10:10:00Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-15T23:10:31.223875Z","submitted_at":"2025-05-08T10:10:00Z","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":1,"verified_fuzzy":27},"total_outbound_references":42},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2505.05106."}