{"as_of":"2026-08-18T11:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:41a430ab41b587cfa9d2af1d59c07c9bdfe00d5bd6990656b9df36bc1239fd3b","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T19:01:47.144305Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T23:17:16.398093Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-10T05:30:23.456663Z","state":"measured"}],"external_citation_measurements":[{"count":1,"observed_at":"2026-08-10T05:30:23.456663Z","source":"pith"}],"inbound":[{"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":{"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-06T17:22:45.283421Z","title":"Nesya: Neurosymbolic automata","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11127","last_updated":"2025-07-15T09:23:22Z","snapshot_observed_at":"2026-08-13T08:33:50.961023Z","submitted_at":"2025-07-15T09:23:22Z","title":"Defining neurosymbolic AI","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-06T17:22:45.283421Z"},"links":{"cited_paper":"/paper/2412.07331","citing_paper":"/paper/2507.11127"},"observation_digest":"sha256:5b4a6f15fb5b87c70ec774a8bae9ce35882264345e50ffdda0bd1f8f3a13bf0b","observation_id":"324f1d2c-f0b3-434c-a804-0518873508f2","resolution":{"observed_at":"2026-08-06T17:22:45.283421Z","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-06T14:53:03.699938Z","title":"Nesya: Neu- rosymbolic automata","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17482","last_updated":"2025-07-23T13:04:13Z","snapshot_observed_at":"2026-08-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":47,"source":"pdf_text","source_observed_at":"2026-08-06T14:53:03.699938Z"},"links":{"cited_paper":"/paper/2412.07331","citing_paper":"/paper/2507.17482"},"observation_digest":"sha256:5bcf7bc424357868b9f643836e90a8795fb03721f3d6d08f8f7674ecdcd391c9","observation_id":"a24c28b3-1e71-4824-8704-a857963673fc","resolution":{"observed_at":"2026-08-06T14:53:03.699938Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"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":"2412.07331","doi":"10.48550/arxiv.2412.07331","metadata_source":"pith","pith_arxiv_id":"2412.07331","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"NeSyA: Neurosymbolic Automata","venue":"cs.AI","work_id":"45b32c3e-85c6-4efa-b566-d60bdd2b9f59","year":2024},"citing_paper":{"arxiv_id":"2509.00834","last_updated":"2026-05-29T15:13:57Z","snapshot_observed_at":"2026-08-17T00:24:44.897159Z","submitted_at":"2025-08-31T13:07:17Z","title":"Neuro-Symbolic Predictive Process Monitoring","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T13:16:50.557488Z"},"links":{"cited_paper":"/paper/2412.07331","citing_paper":"/paper/2509.00834"},"observation_digest":"sha256:76ca8addf822ef79cf2d2877314f875a228cea569861aba3d8bcfcdeb7752e0d","observation_id":"ebbb2020-9991-48d9-a417-04df427211cb","resolution":{"observed_at":"2026-08-05T13:16:50.945507Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2412.07331/citation-record","integrity":"/paper/2412.07331/integrity","json":"/paper/2412.07331/citation-record.json","paper":"/paper/2412.07331"},"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-11T19:01:47.416878Z","title":"A pseudo-semantic loss for autoregressive models with logical constraints","venue":null,"work_id":"3baea5ec-dab0-4a33-ba63-6edff28bf9a0","year":2024},"citing_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},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.053760Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:1433e673df1b2ffbbca6c1165c5292a78b934994aac29675b964683169dc0c21","observation_id":"ca4f0305-ec8c-49cc-9804-0944f643b697","resolution":{"observed_at":"2026-08-11T19:01:47.420088Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.407583Z","title":"u diger Ehlers, Bettina K \\","venue":null,"work_id":"c4466ee0-7816-4b3a-9f01-7f3d99b935fc","year":2018},"citing_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},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.058029Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:4a1c78adbfee33824b770f2281ca35f6c020227f47c9f81897164d31c41e9930","observation_id":"9226da34-1b26-4f59-8428-7d4c9b772bfd","resolution":{"observed_at":"2026-08-11T19:01:47.411138Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.398491Z","title":"An event calculus for event recognition","venue":null,"work_id":"85a2707c-e7da-4885-988b-274e1e977abf","year":2014},"citing_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},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.061883Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:417a1fe044066b2aa5678ccd239e05e6a67a960bfc0bbd3055f9c850e7f7e7d4","observation_id":"c5ed84ee-00b7-4fba-a524-8aa4e417f8d7","resolution":{"observed_at":"2026-08-11T19:01:47.401902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.390189Z","title":"Logic tensor networks","venue":null,"work_id":"5470b29f-51ef-40cf-8a9f-231c0fa0810c","year":2022},"citing_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},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.065403Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:7f29b13f8ca6b7985feceb6c0e684257fae4a896ffc1970a630eab1ac8cc50ee","observation_id":"228fc48b-a64b-4f43-8e37-f747daf0f38f","resolution":{"observed_at":"2026-08-11T19:01:47.392796Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.070649Z","title":"On probabilistic inference by weighted model counting","venue":null,"work_id":null,"year":2008},"citing_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},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.070649Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:1e8f4f1e4b1b31202ba1365fc31d4aaa5556ae97fd2831d975f6308ae06bb22d","observation_id":"a8ffda0f-9f3f-44d5-a40b-391acb3a85e9","resolution":{"observed_at":"2026-08-11T19:01:47.070649Z","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-11T19:01:47.074389Z","title":"A knowledge compilation map","venue":null,"work_id":null,"year":2002},"citing_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},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.074389Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:4763cb834eababedeb34e648a75d25cb18faa8b63fec101daf5696cfe1119814","observation_id":"b540a90b-3e3a-4e0d-acb9-0dfcf425ca8e","resolution":{"observed_at":"2026-08-11T19:01:47.074389Z","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-11T19:01:47.371338Z","title":"Decomposable negation normal form","venue":null,"work_id":"27e838ae-6baf-4606-8534-e6b88d2436ee","year":2001},"citing_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},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.078285Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:576224b7ce38d3ac5712970ee0221562c125ca21894f3c3794e6f90c0e4a4555","observation_id":"ec1eb48e-c9d7-4f66-afba-badc179b69b8","resolution":{"observed_at":"2026-08-11T19:01:47.374354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.362005Z","title":"Linear temporal logic and linear dynamic logic on finite traces","venue":null,"work_id":"de579ca9-d0dc-46d7-9ade-d8c614233fa9","year":2013},"citing_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},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.081492Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:bf4eb1d4d13b057129cff1211000aada41d5f4b4207a7d4db627a2ceab282b73","observation_id":"87b31dbe-7a00-4141-859f-52e55af7c77c","resolution":{"observed_at":"2026-08-11T19:01:47.365355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.352789Z","title":"Neurosymbolic markov models","venue":null,"work_id":"c4146350-6a71-46ef-a2d5-15727d08a7b8","year":2024},"citing_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},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.085104Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:ac5bfdca3bb9083b9cdaefd6a1e224dcadfc77fd971dbc387f2c57c20434de74","observation_id":"36fc314c-7190-41e2-910a-0c734e0e9487","resolution":{"observed_at":"2026-08-11T19:01:47.356261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.343084Z","title":"Neurosymbolic ai: The 3 rd wave","venue":null,"work_id":"9703afea-6aaa-4258-b3ec-29a2ab658c36","year":2023},"citing_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},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.088267Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:b2be3184e17afb146fbe56b75a59ddff6a53a270d6277082980c1bce05a75d17","observation_id":"6815e071-a2ab-4770-abb9-33e22ca97db4","resolution":{"observed_at":"2026-08-11T19:01:47.346753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.333695Z","title":"Efficient solution algorithms for factored mdps","venue":null,"work_id":"c89cc72b-ff71-402e-a938-bd8211ec0cd1","year":2003},"citing_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},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.091302Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:fd7f4452a9d4b25099bf11d153ebf7c5aabc7d1be1a772e5a265a3cdc463461f","observation_id":"987ee29c-53c5-4247-8384-18c5a8511073","resolution":{"observed_at":"2026-08-11T19:01:47.337142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.094616Z","title":"Long short-term memory","venue":null,"work_id":null,"year":1997},"citing_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},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.094616Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:0614788ae7f88b0882591f30e12fd8129654a089e160dd046fd9b5f04b6f0b42","observation_id":"6a198e6b-455d-4b21-b190-bca0e4cbc341","resolution":{"observed_at":"2026-08-11T19:01:47.094616Z","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-11T19:01:47.318297Z","title":"Using reward machines for high-level task specification and decomposition in reinforcement learning","venue":null,"work_id":"1d5f57e3-93a5-4003-b749-01a1c2915ea6","year":2018},"citing_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},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.098143Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:84c45efb568a220f88babc18d8500bfaef6d1c92921d213a9c66fec3f1d33c75","observation_id":"044a7dc2-b09f-40eb-b7f5-20de84df776c","resolution":{"observed_at":"2026-08-11T19:01:47.321683Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.308754Z","title":"Safe Reinforcement Learning Using Probabilistic Shields","venue":null,"work_id":"ee46bcc4-a0d1-4cde-8b9c-8a6156e63953","year":2020},"citing_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},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.101198Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:59877fc0e8d845af6c4271263f6c38fe004c8b7c67a0ee0384cfa88e34b4cb80","observation_id":"5b7b050d-9141-496f-82f3-7e4179780245","resolution":{"observed_at":"2026-08-11T19:01:47.312328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.299089Z","title":"A logic-based calculus of events","venue":null,"work_id":"f3b27d0e-41e0-4836-a36a-c4a6ea493172","year":1986},"citing_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},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.104354Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:37a42fe6793d4f4e471eda64da95b7596069a5ec6d42f3353973bce5e27af36a","observation_id":"6780f143-4691-40b6-a16c-5e2f55d13a90","resolution":{"observed_at":"2026-08-11T19:01:47.302473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.289157Z","title":"Deepproblog: Neural probabilistic logic programming","venue":null,"work_id":"a89803b2-ee4b-4dbb-9e19-df34914637b0","year":2018},"citing_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},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.107509Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:1d0d358df201b52eb95d63b83611023b4590f04d3881dace2148607dec9bd4b3","observation_id":"17d4cdeb-393b-4721-9723-42f4e3d73491","resolution":{"observed_at":"2026-08-11T19:01:47.292310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.279231Z","title":"Maximum entropy markov models for information extraction and segmentation","venue":null,"work_id":"b134bfc0-92f0-4464-a903-b2d24595a694","year":2000},"citing_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},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.110754Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:376d24dbaabd3eb81a1251281028784ab732f8f6f894e457b0f488d39f075ffb","observation_id":"ff661708-7a22-4434-a5a2-4ad666805170","resolution":{"observed_at":"2026-08-11T19:01:47.282288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.270072Z","title":"Deepdfa: Automata learning through neural probabilistic relaxations","venue":null,"work_id":"66adfe35-f0ed-4457-a4f1-e5f0c2a41144","year":2024},"citing_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},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.114493Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:1d4b1dfea2bbf39beafc26c65488fb17dbe73b130055ab62de98c8dc0e6793a9","observation_id":"3ff0d9ab-6091-46ec-863e-15dc03e33f33","resolution":{"observed_at":"2026-08-11T19:01:47.273736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.260547Z","title":"Visual reward machines","venue":null,"work_id":"e4f5011c-d65c-4488-ba03-975f5071665c","year":2022},"citing_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},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.117801Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:9e20ae08d0e75d020ce6e6d448e8bd3b09fdc71f87cb524fcb024ec504aca4e4","observation_id":"9551e6fe-1699-4ec3-a594-1751602e3f98","resolution":{"observed_at":"2026-08-11T19:01:47.263951Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.251144Z","title":"Grounding ltlf specifications in image sequences","venue":null,"work_id":"c8e2bd32-92dc-41b0-b6e3-00e61401f8b5","year":2023},"citing_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},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.120773Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:3b3c18027ea793c2806506236fa5ba9033c18bba5c0762554c572e4bb68cbf44","observation_id":"6aa31596-4350-4304-be81-82378309a184","resolution":{"observed_at":"2026-08-11T19:01:47.254662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.241108Z","title":"The complexity of enumeration and reliability problems","venue":null,"work_id":"9e835a72-3cd8-4376-a4fb-5dbda87367ef","year":1979},"citing_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},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.124003Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:2a06700e639e269f801a2fa2d02abaabdfe390600b0f93eeee75d8f28686b728","observation_id":"4a96f8bd-b9e7-4343-a387-c21d67035673","resolution":{"observed_at":"2026-08-11T19:01:47.244646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.126800Z","title":"Attention is all you need","venue":null,"work_id":null,"year":2017},"citing_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},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.126800Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:3706cd52c9216b457b8979daa00cb6c9bd42ce94c4c8bb3276a5cc6bc6f85bf5","observation_id":"02e0e23a-8ceb-42b7-9f00-f7a11711a1de","resolution":{"observed_at":"2026-08-11T19:01:47.126800Z","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-11T19:01:47.225089Z","title":"Deepstochlog: Neural stochastic logic programming","venue":null,"work_id":"0619c2ff-943f-4163-8181-3aabccb3505a","year":2022},"citing_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},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.129523Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:f61ec21a83ec79c5dba58d6b8694af07e9d3a739da73933580efd6db93a10446","observation_id":"491b0bec-61c9-4bc5-ac1b-bdd16c2344a4","resolution":{"observed_at":"2026-08-11T19:01:47.228550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.215074Z","title":"A semantic loss function for deep learning with symbolic knowledge","venue":null,"work_id":"7d4eb7d0-4ed1-4321-ba35-4e94f27141a0","year":2018},"citing_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},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.132263Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:c5509cb70d9e7bfc7871c53c2aeaaa199d32620aa99e30715318743ecdc79329","observation_id":"b5ad0a56-4088-4664-b192-a4c4ec658ea4","resolution":{"observed_at":"2026-08-11T19:01:47.218619Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.205981Z","title":"Neurasp: Embracing neural networks into answer set programming","venue":null,"work_id":"d98e27ba-398f-46b4-ba32-c16e79fca420","year":2020},"citing_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},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.134863Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:3187d48bb2d7e70a83c2af0bb309e02d8861985fc0ec2763a56380755af3f195","observation_id":"3273a32e-ba97-44ba-9906-86a9841a8564","resolution":{"observed_at":"2026-08-11T19:01:47.209442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.195336Z","title":"Safe reinforcement learning via probabilistic logic shields","venue":null,"work_id":"91075050-dc82-4188-b56a-f2d2b7edb6c7","year":2023},"citing_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},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.137480Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:335d1b38e0409fa95eb7b54dfb3a024d02fac18dcbf1c136e8b1698c22f94697","observation_id":"d8e74a41-42c5-4c8b-ad1f-259863ee1e98","resolution":{"observed_at":"2026-08-11T19:01:47.198689Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.179279Z","title":"Tractable control for autoregressive language generation","venue":null,"work_id":"6cc3b246-dd3a-46b9-a3b6-446ab5e99172","year":2023},"citing_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},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.141139Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:3518052911fb2951b13f3777005a4099384e0ba12787dab43021c0e4b7181d79","observation_id":"01d70384-d9ce-490a-8272-c245d8f3ee33","resolution":{"observed_at":"2026-08-11T19:01:47.184855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T19:01:47.144305Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_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},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-11T19:01:47.144305Z"},"links":{"citing_paper":"/paper/2412.07331"},"observation_digest":"sha256:87ce43373eeef772b3906e865595f3d00d21790bc6f60d863e654737566cdcaf","observation_id":"8b7763f3-470c-4a35-a19f-649faaacaa3c","resolution":{"observed_at":"2026-08-11T19:01:47.144305Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2412.07331","last_updated":"2025-05-20T21:22:14Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-11T18:53:22.222454Z","submitted_at":"2024-12-10T09:23:36Z","title":"NeSyA: Neurosymbolic Automata"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":0,"verified_fuzzy":23},"total_outbound_references":28},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 4 inbound Pith citation observations for arXiv:2412.07331."}