{"as_of":"2026-08-15T11:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e00aab25b1cd00241bf7ee8a95435d100447103d85a138b367cd619f53827c16","coverage":[{"denominator":58,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":58,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:04:12.846995Z","state":"measured"},{"denominator":59,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":59,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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-05T20:19:26.486227Z","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-05T20:19:27.572540Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"cited_work":{"arxiv_id":"2505.20313","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.20313","snapshot_observed_at":"2026-08-05T20:19:27.572540Z","title":"Reasoning in Neurosymbolic AI","venue":"cs.AI","work_id":"5fc6e17d-7514-471f-896e-e1babc38e683","year":2025},"citing_paper":{"arxiv_id":"2508.10777","last_updated":"2025-08-14T16:01:10Z","snapshot_observed_at":"2026-08-07T17:34:53.037498Z","submitted_at":"2025-08-14T16:01:10Z","title":"The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-05T20:19:26.486227Z"},"links":{"cited_paper":"/paper/2505.20313","citing_paper":"/paper/2508.10777"},"observation_digest":"sha256:9d385885d08f2fb9d55afe88bff9614e551905d488fa5b16dd85781a84d4b990","observation_id":"4ecfdbbc-f6a9-4e32-9e90-e6925343f69b","resolution":{"observed_at":"2026-08-05T20:19:27.612062Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.20313/citation-record","integrity":"/paper/2505.20313/integrity","json":"/paper/2505.20313/citation-record.json","paper":"/paper/2505.20313"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:04:10.068768Z","title":"Learning to solve circuit-sat: An unsupervised differentiable approach","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.068768Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:68d91f1f980c4659ee060cd281f38c203d227c9b234549d2f8d0edc85b77c8a2","observation_id":"e790779e-38a1-4eda-aef9-b11aa4465d2f","resolution":{"observed_at":"2026-08-07T15:04:10.068768Z","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-07T15:04:10.205950Z","title":"Logic tensor networks","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.205950Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:d223f016d0bf72ed00c1801c5a04be02928d7e5c2979a439ca55278983fac3c8","observation_id":"e0273699-c25e-4765-8d00-fca0572b3c48","resolution":{"observed_at":"2026-08-07T15:04:10.205950Z","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-07T15:04:17.189318Z","title":"Learning optimal chess strategies","venue":null,"work_id":"90a9e74e-8404-4a6f-bc31-25a5ec6a147e","year":1994},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.326315Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:eea560208b088404322df00b08df70fcb804ad54743aebec8b1ac593c7202507","observation_id":"4eeff2e2-fc5d-4da1-aadc-25c4c39c6340","resolution":{"observed_at":"2026-08-07T15:04:17.216692Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:17.065921Z","title":"Applications of maxsat in data analysis","venue":null,"work_id":"b0b72501-f435-446c-915c-4966372d3e03","year":2015},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.466791Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:7481224d36b91662bb421d23a33c90d30c27efe0d323e3543445dddfdbce0c2d","observation_id":"34b99a46-451c-49a8-9c97-eb1cdffd75a8","resolution":{"observed_at":"2026-08-07T15:04:17.121565Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:17.003309Z","title":"Besold, Artur d’Avila Garcez, Ernesto Jim´ enez-Ruiz, Roberto Confalonieri, Pranava Madhyastha, and Benedikt Wagner, editors","venue":null,"work_id":"2a58a4f1-eb1b-401e-a189-e952114c6a6b","year":2024},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.617281Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:d77565ffe052deea7648ec9c2ba7cc5c26f95287be4065b2e9e6a28409b1bcdc","observation_id":"0cd90d73-6f6a-4377-9a77-ecd772440c9c","resolution":{"observed_at":"2026-08-07T15:04:17.034626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1707.05390","last_updated":"2017-07-17T20:37:08Z","snapshot_observed_at":"2026-08-14T20:47:05.014857Z","submitted_at":"2017-07-17T20:37:08Z","title":"TensorLog: Deep Learning Meets Probabilistic DBs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.05390","snapshot_observed_at":"2026-08-07T15:04:10.716650Z","title":"Cohen, Fan Yang, and Kathryn Mazaitis","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.716650Z"},"links":{"cited_paper":"/paper/1707.05390","citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:fd64784699ec0c5a87895944c897f94125886ca72a725c1962aa9caf19cc99a6","observation_id":"b0b2fd60-88c1-4088-aa09-e070729c0a3c","resolution":{"observed_at":"2026-08-07T15:04:10.716650Z","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-07T15:04:16.924514Z","title":"d’Anjou, M","venue":null,"work_id":"688438fb-7bc3-4ff3-aaf8-10b507107c31","year":1993},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.758504Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:168efb58979a08d68f2cf06d2655c88ff3a6409c7a86369fbd781276de262dba","observation_id":"3014da01-4cfc-42d0-af5f-eee2b98e7b15","resolution":{"observed_at":"2026-08-07T15:04:16.961040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:16.839261Z","title":"d’Avila Garcez, K","venue":null,"work_id":"300c7ba4-c0a6-41a4-a1de-a17525a34d30","year":2001},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.762706Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:1c3b74f28a42b5ae4750df784272205b31654d2bbb1818f8c1137183341884ba","observation_id":"82c29847-9a40-4a27-b216-fceb4be0735a","resolution":{"observed_at":"2026-08-07T15:04:16.883176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:16.728464Z","title":"d’Avila Garcez, L","venue":null,"work_id":"a28de40f-b547-44a8-822d-cee835d7e5a6","year":2009},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.774505Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:2c7d9d983afc8f669e4857e15ede19062a54904acde1cc60b99c7b6684db8f2a","observation_id":"d3abc97a-fb5d-4326-94b7-4cb40246ae93","resolution":{"observed_at":"2026-08-07T15:04:16.779215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:16.670000Z","title":"Hypergraph neural networks with logic clauses","venue":null,"work_id":"cd6e07f9-9079-4cef-a108-6fed338aebdf","year":2024},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.833590Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:2a18731f43997e45df4785ad6600190a5c0f6421e65839d5d3cfc63985b9df9e","observation_id":"3f3951f1-e816-4db9-88f2-5dddb455ee42","resolution":{"observed_at":"2026-08-07T15:04:16.679153Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:16.544182Z","title":"Donadello, L","venue":null,"work_id":"d9cf8b87-5575-438d-a212-789bc3b97353","year":2017},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:10.936536Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:4f7ee4b693bbfb5396618c6f89187feb9c4c4755f6381aa49e366ff730a18c91","observation_id":"d4580091-f1e3-4613-b010-c8e8271f9ebf","resolution":{"observed_at":"2026-08-07T15:04:16.599674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:16.459392Z","title":"Evans and E","venue":null,"work_id":"88bfd0a9-6b91-4b27-81b7-e1d6522e6671","year":2018},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.011993Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:45b364db7d2b2e460940bc161f160a6993cd71c25a7e2e3949aec4270f08da24","observation_id":"0b367b1c-bc3a-4806-9aa6-71524848809c","resolution":{"observed_at":"2026-08-07T15:04:16.503356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:16.330709Z","title":"Fran¸ ca, G","venue":null,"work_id":"fb813d8f-df8c-417d-bae6-f7d2d0918d5e","year":2014},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.073353Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:088875b31eef16a03df8f94933a5e41e0e1ec1ad932e0911062cbdbc4e732638","observation_id":"e926a148-1ae4-4fb7-ba62-a962d1dea7bc","resolution":{"observed_at":"2026-08-07T15:04:16.368590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:16.257297Z","title":null,"venue":null,"work_id":"e046ad6a-f9aa-4932-8cec-009569c338ed","year":2004},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.133621Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:cfbb21b04d388faedcf88c087d1dc293070c62109512f247fcd9253032886748","observation_id":"d558c395-1fc7-4fb3-b6fe-a9fc9796d2ca","resolution":{"observed_at":"2026-08-07T15:04:16.292462Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:16.169125Z","title":null,"venue":null,"work_id":"89a7a32e-a9f6-4d2d-b06c-0613a2d3aeff","year":2023},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.224880Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:b7c77da7d182c7e1de44611bfe1956515eb89e9a78e902d5ef0ae39aaba521e6","observation_id":"94d7356c-c744-49f4-ac12-38d7c5195749","resolution":{"observed_at":"2026-08-07T15:04:16.190675Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:16.108347Z","title":"Ccn+: A neuro-symbolic framework for deep learning with re- quirements","venue":null,"work_id":"bbd10710-98ea-4abe-8ad7-d7e4eb3f8fec","year":null},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.249859Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:c0b9a605e72fd836113bc9805e89403976d54d6200897d417195d59987b216a3","observation_id":"6ca48701-d8e5-4367-99e3-df0032eb480b","resolution":{"observed_at":"2026-08-07T15:04:16.160275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:15.778351Z","title":"Hernandez, F","venue":null,"work_id":"6cf7752f-52a8-45f9-a1a2-0be20f02b93a","year":2001},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.257911Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:46b6ec28a29faf5dedeea7199b071ba89a47b8a55dbbfec6ec2a177f18b9512b","observation_id":"285c2863-777e-4b23-9f2e-b2d8e60f066d","resolution":{"observed_at":"2026-08-07T15:04:15.870954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:15.684262Z","title":null,"venue":null,"work_id":"0d767453-6255-4b26-b0c1-2bc4270744fa","year":null},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.261871Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:eefc6eeec792dc1f316caccd197699a1bf8712c4d4a2b2bb715d42a4517e6976","observation_id":"287ea1b4-afa4-4bcd-a446-b0c148a7525b","resolution":{"observed_at":"2026-08-07T15:04:15.742600Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:15.595594Z","title":"Hinton, Simon Osindero, and Yee-Whye Teh","venue":null,"work_id":"59c40e23-b5c0-4978-a172-61317b6aa629","year":2006},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.276472Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:5dcb81849ad39d1bc2399d7318e1c532989443593550998943e7dcd69736e25e","observation_id":"6b84bd89-47be-4851-9956-4af31d0910cd","resolution":{"observed_at":"2026-08-07T15:04:15.636349Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:15.523585Z","title":"Decoding intentions","venue":null,"work_id":"595eb019-ea76-4864-8cfc-1dcd92f4dc8f","year":2023},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.292268Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:9cee126a6e4e5d113627106d8e1330a28cbb3dd540af53cce6b0864a61b7036e","observation_id":"60c6adc1-eb3d-43bf-8c23-4adbb85eb31c","resolution":{"observed_at":"2026-08-07T15:04:15.551851Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:15.457450Z","title":"Thinking, fast and slow","venue":null,"work_id":"31793640-8775-47d4-9eae-77bbd3627236","year":2011},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.341905Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:bf5c0e4def92be8af8f021a6113129e9f7b2d59c9c62202fc9c541920e1663a9","observation_id":"b9efacaf-6796-477f-8a7e-f2ae26ed6eb7","resolution":{"observed_at":"2026-08-07T15:04:15.485752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:15.337246Z","title":"Finding pre-production vehicle configurations using a maxsat framework","venue":null,"work_id":"a6c1ce5f-fde1-473d-a322-fbec3c666ee2","year":2016},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.444331Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:2353741ea56d1e2d1ccb392330ec912bb39ab06d7271e66042677980a62a3511","observation_id":"62fec922-7bc7-4635-b38e-b2ca664a61c1","resolution":{"observed_at":"2026-08-07T15:04:15.416009Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:15.245761Z","title":"King, Michael J","venue":null,"work_id":"be2cd42f-7e98-4b2b-b324-90fd347db3a8","year":1995},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.520828Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:0cfdb7eb04430d2a1f4354347e743dabba6c41ea870c3986a0e511251ddc4c53","observation_id":"0765c195-0440-48d7-800c-1fe46aa55611","resolution":{"observed_at":"2026-08-07T15:04:15.285140Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:11.599752Z","title":"Kirkpatrick, C","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.599752Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:4f018a0e64a59b68ef01ba6b28c00a315bb64be6b4c35d2bbd917604ed344a1f","observation_id":"b2abaacf-fc6e-4281-b362-b31c69f3ff8f","resolution":{"observed_at":"2026-08-07T15:04:11.599752Z","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-07T15:04:15.200626Z","title":"Learning max-sat from contextual examples for combinatorial optimisation","venue":null,"work_id":"70eff14d-e18f-46e8-ad5b-f2565105b090","year":2020},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.673215Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:c5c6e97f645fd49eaf93e5e58fc6df59ee8f1bcfcb22407977abee0720d0757b","observation_id":"21fd740d-4ad0-4c7d-a829-fda091500247","resolution":{"observed_at":"2026-08-07T15:04:15.228668Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:15.104888Z","title":"Learning algorithms for the classification restricted boltzmann machine","venue":null,"work_id":"cd67a81d-99b7-49bc-a747-53ede8f96f6e","year":2012},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.746542Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:76c9a6edc982731a57232bd0bf05f74e8b12440c266fd5f4bd8d070fd92f5350","observation_id":"d761cff3-5ac6-4744-a043-8f3febae3522","resolution":{"observed_at":"2026-08-07T15:04:15.151682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:15.023002Z","title":"Can graph neural networks learn to solve the maxsat problem? (student abstract)","venue":null,"work_id":"cb311253-8c4f-42eb-8906-4c4b92737432","year":2023},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.764094Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:462fdeb745b48786b0c1020af7429e283f088caecb3f1a3f51a7eaf548557eab","observation_id":"a35faf38-d843-4340-8552-c50189a9c9df","resolution":{"observed_at":"2026-08-07T15:04:15.060928Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.936081Z","title":null,"venue":null,"work_id":"cd0f6a78-c39b-46c5-aca0-75f33cb75a5a","year":2018},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.767930Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:4cbbe8c4bbbb6f4859a44cc0e57d220a6d507800fe0f7d30de6d95d8aa8fed6e","observation_id":"fb8da4fa-981e-4676-b5ba-720a668911ff","resolution":{"observed_at":"2026-08-07T15:04:14.975739Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.868081Z","title":"DeepProbLog: Neural probabilistic logic pro- gramming","venue":null,"work_id":"2f8ab05e-0390-4aa3-b408-4154af5418c9","year":2018},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.771999Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:ba83b6881daa4e9c2c06fcd22ab188d2b65ddf16061e4b89dfbdab3ef0b80e53","observation_id":"1ea8a9b1-4721-4cd7-811b-ac359c80fa4f","resolution":{"observed_at":"2026-08-07T15:04:14.924491Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.761814Z","title":"Chip War: The Fight for the World’s Most Critical Technol- ogy","venue":null,"work_id":"fdc25b3b-6190-4b90-a943-090c08b34e7c","year":2022},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.795002Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:a74c83fdea4d20c4b15ad7699abee577e368ac4144b9894a74c4bb8a711a30c8","observation_id":"fe776c0c-049b-407b-b7bd-d1bc4ecf1228","resolution":{"observed_at":"2026-08-07T15:04:14.793444Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.690214Z","title":"Gsm-symbolic: Understanding the limi- tations of mathematical reasoning in large language models, 2024","venue":null,"work_id":"cadd3ddd-6d50-4b4e-acda-f44f393a9e82","year":2024},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.843707Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:63a91edd02ae6dfeea95484ab2fcf92bdde7ca9db07940ec0784cd17a73e266f","observation_id":"f90c2ee5-8174-4d6c-9eb2-07594781958d","resolution":{"observed_at":"2026-08-07T15:04:14.721171Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.614184Z","title":"Maxsat-based mcs enumeration","venue":null,"work_id":"0829d78a-4f14-44bb-9620-4e9a2013972c","year":2013},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.916827Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:095c7f18a175ce3cd8b7e0b1c015e2d1aea5d0073e920ae097d15dbcb540d4df","observation_id":"b315aad7-8cd0-4670-a210-c5f8ea2ed896","resolution":{"observed_at":"2026-08-07T15:04:14.645570Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.508965Z","title":"Closing the neural-symbolic cycle: Knowledge extraction, user intervention and distillation from convolutional neural net- works","venue":null,"work_id":"1b9654fd-86d3-485b-a675-289585cc389c","year":2023},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.012092Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:e83115a6b828618b23bf8b481b5359ba04857e67ca2f2eda0d7a1476d72adfeb","observation_id":"ae0de1c4-6058-4098-9203-a92e88efa25f","resolution":{"observed_at":"2026-08-07T15:04:14.567758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.422234Z","title":"A semantic framework for neu- rosymbolic computation","venue":null,"work_id":"eaf0e39f-7928-4f69-8a9a-5c4b97929238","year":2025},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.106190Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:acd4673323a630207655e517a246d981237ae2a63750920955a141c4ae5a33c0","observation_id":"db6b3d60-ad73-442f-9fbd-57cf638d7b70","resolution":{"observed_at":"2026-08-07T15:04:14.435282Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.373772Z","title":"de Penning, A","venue":null,"work_id":"961a544e-7636-4c49-9efc-8d35cc091da1","year":2011},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.146792Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:ad4afadedd1dddb30004086a5f21f50dfe8e99e791d89389809cd2b91c9edf72","observation_id":"d5066f33-dae7-45ff-ae32-1f0e48b22216","resolution":{"observed_at":"2026-08-07T15:04:14.405793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.09232","last_updated":"2021-10-08T16:37:11Z","snapshot_observed_at":"2026-08-13T17:57:05.453654Z","submitted_at":"2021-10-08T16:37:11Z","title":"Accountability in AI: From Principles to Industry-specific Accreditation","version":1},"cited_work":{"arxiv_id":"2110.09232","doi":null,"metadata_source":"pith","pith_arxiv_id":"2110.09232","snapshot_observed_at":"2026-08-07T15:04:12.991980Z","title":"Accountability in AI: From Principles to Industry-specific Accreditation","venue":"cs.CY","work_id":"9933f38b-d603-4c21-9fe7-e13607fa29a2","year":2021},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.150491Z"},"links":{"cited_paper":"/paper/2110.09232","citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:4458005fecf9c149fd35a5ddf9adc8b0392b8356ba0c9294430565f5ba3ef0c2","observation_id":"e6a7d9c5-6e78-48f9-a582-0cff947a8958","resolution":{"observed_at":"2026-08-07T15:04:13.014353Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.259048Z","title":null,"venue":null,"work_id":"43deaf23-f845-48dd-98e2-a34743e02862","year":1995},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.154857Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:b3b08d7e4c1b8a8f9b07856562bc8239a37816a170fd1719997e3cb8f1029ee8","observation_id":"fc2304a7-fda1-4b8c-bcde-dc692cdc9bea","resolution":{"observed_at":"2026-08-07T15:04:14.289591Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.198461Z","title":"Symmetric neural networks and propositional logic satisfia- bility","venue":null,"work_id":"a7732231-4c97-4ebe-b147-430d9f9bc578","year":1991},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.209665Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:48893f6f5d0ab4b3756a86e94090acf833728c9aa0c88a3525d7606a325b6230","observation_id":"aed4d883-43c3-427d-b16f-0dc961312a69","resolution":{"observed_at":"2026-08-07T15:04:14.222030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.125616Z","title":"Markov logic networks","venue":null,"work_id":"907161f4-965d-4b92-99ff-087c2b7d2a2a","year":2006},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.289347Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:75b4d81c42421ab77d7f07c30fb6fffeb3bd1339549d759691c24a823085100b","observation_id":"b6094f61-15ab-45ef-9971-fabbafff20f9","resolution":{"observed_at":"2026-08-07T15:04:14.163362Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:14.053452Z","title":null,"venue":null,"work_id":"4acda56b-7b56-4c70-a927-0962b70fdcad","year":2019},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.342267Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:2a76f1d3cfdaea9afbe9da9905d66844670663870030a8631423b848a0ae23de","observation_id":"25d45746-a8c2-47ba-8d96-29e1dfe7f8f5","resolution":{"observed_at":"2026-08-07T15:04:14.075692Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.966963Z","title":"Learning and reasoning with logic tensor networks","venue":null,"work_id":"6af19f8a-f415-4f0d-8a69-4074e1ecfa20","year":2016},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.371211Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:4b71c58351b49d94a5cf5bb413ea09b211607e8c9b03e710d7ec3c49bdfe50ca","observation_id":"b095399c-ef15-4d0d-8115-156b0ea77045","resolution":{"observed_at":"2026-08-07T15:04:14.024870Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.17493","last_updated":"2024-04-14T05:20:10Z","snapshot_observed_at":"2026-08-05T16:03:40.517679Z","submitted_at":"2023-05-27T15:10:41Z","title":"The Curse of Recursion: Training on Generated Data Makes Models Forget","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.17493","snapshot_observed_at":"2026-08-07T15:04:12.416431Z","title":"The curse of recursion: Training on generated data makes models forget","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.416431Z"},"links":{"cited_paper":"/paper/2305.17493","citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:1cebb9b05ed4ba00042cc189549cf2e735b456989fd9ee86005fe002ea42f342","observation_id":"41f5f19d-524a-4129-bcb2-58c052eb446c","resolution":{"observed_at":"2026-08-07T15:04:12.416431Z","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-07T15:04:13.869164Z","title":"Maximum satisfiabil- ity in software analysis: Applications and techniques","venue":null,"work_id":"633f71b5-01d2-42b0-83f1-1982cdb1e494","year":2017},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.450807Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:ba0d53bf2f61a813ec70aa44a4cd9dd33fe2a193fabf98528209cacea40d7343","observation_id":"3801bac3-1feb-4396-9bbb-3984877a3af7","resolution":{"observed_at":"2026-08-07T15:04:13.891135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.850960Z","title":"Smolensky","venue":null,"work_id":"f2c28613-31f8-454e-98b9-3745ea6f84c5","year":1995},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.492924Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:e216bc2981ae0cda1457f2ee188fddab2a8219a020ce5af67f7bb2d430b5b961","observation_id":"d91197ba-d802-4c30-9f4a-62d09e6d96e3","resolution":{"observed_at":"2026-08-07T15:04:13.856758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.808455Z","title":"Bioinformatics: Problem Solving Paradigms","venue":null,"work_id":"2c4e9d57-7d53-4e46-8c13-f9b27ce5fc86","year":2008},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.532156Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:aa4b99096ac68cf3ce6e16e69b42f77c0b7774f1a50b11bde29ba5c7715d5406","observation_id":"b3d08f80-5852-4e35-b3c3-55ecdb4d023e","resolution":{"observed_at":"2026-08-07T15:04:13.841364Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.734402Z","title":"Srinivasan","venue":null,"work_id":"6a758838-46d2-4f0c-8512-c6068b556a41","year":2007},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.563975Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:36ba7f0912add9ddc1d0a455738b6b8c865dfbedb443feedd6774e665274a7a0","observation_id":"0f26c7de-e946-41e3-b0ac-58c82ebc3025","resolution":{"observed_at":"2026-08-07T15:04:13.771015Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.662040Z","title":"Srinivasan, S","venue":null,"work_id":"ea0ad256-883d-4980-af23-99e1827e21d3","year":1994},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.606985Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:d4f799e20cf5e0f952578b66558af345731d7002150080f2ab23b165415e4fcc","observation_id":"667808e9-eefa-4f67-b272-8c7e0c62d8ba","resolution":{"observed_at":"2026-08-07T15:04:13.694994Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.09949","last_updated":"2024-10-24T12:13:54Z","snapshot_observed_at":"2026-08-15T02:18:43.854824Z","submitted_at":"2024-06-14T11:52:09Z","title":"Neural Concept Binder","version":2},"cited_work":{"arxiv_id":"2406.09949","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.09949","snapshot_observed_at":"2026-08-07T15:04:12.910148Z","title":"Neural Concept Binder","venue":"cs.AI","work_id":"c70b7209-0f14-4fea-816a-c0b6f6371d33","year":2024},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.634529Z"},"links":{"cited_paper":"/paper/2406.09949","citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:1b44345eaaba093461cc02eec98b26609d2fb658ba54e3c0c1055aadb6e4f245","observation_id":"586dd05c-2e80-4951-b345-c6716cc5f820","resolution":{"observed_at":"2026-08-07T15:04:12.937729Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.587516Z","title":"Towell and J","venue":null,"work_id":"bd8674d0-d891-4239-b175-a3e29864ce0e","year":1994},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.670432Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:c679479866f48761ef16c943257d641536e71ecae9f18179b9eee1e790448b6c","observation_id":"cd25e1e7-4af6-43d2-87ab-4f82f595a5e6","resolution":{"observed_at":"2026-08-07T15:04:13.621184Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.497793Z","title":"Tran and A","venue":null,"work_id":"4c970241-8c61-499c-a55c-0e048ed2482e","year":2018},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.687102Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:ee8c9a37d030d1122748b7f479e1119bb44d3682618dd0050c6f4502a5087a32","observation_id":"80f90590-15c5-4855-b6f1-43ea4510eaef","resolution":{"observed_at":"2026-08-07T15:04:13.539375Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.410404Z","title":null,"venue":null,"work_id":"506f36ef-355e-4787-81fa-22942bec6c98","year":2021},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.698517Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:f4d3e15254f96ff803cb4dc9950d3f0b9fdcce6a3ef2dd7312fe33146696178d","observation_id":"200d683b-ba71-43f9-b37b-3d8e7120b6b3","resolution":{"observed_at":"2026-08-07T15:04:13.450947Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.329513Z","title":"Tran and Artur d’Avila Garcez","venue":null,"work_id":"7241320c-5ded-40da-bb6e-1ef80e75cf91","year":2023},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.706228Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:9a22424c524e1ad2dc40034be24d654e8cd52da76bee695513d14627ce4d71d9","observation_id":"1ee81454-568d-4f95-b0ff-2de1493c274c","resolution":{"observed_at":"2026-08-07T15:04:13.358029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.271233Z","title":"Donti, Bryan Wilder, and J","venue":null,"work_id":"7cafe8cf-4a44-45b7-b784-74848fc69679","year":2019},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.712223Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:4b1edacd740302ef05d3cebab223d239a1b96ed9a761b97e38e293ec0784a5c8","observation_id":"1e6c6f0a-aa73-489f-8fec-c202d6709bb1","resolution":{"observed_at":"2026-08-07T15:04:13.292078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.252162Z","title":"Solving maxsat with matrix multiplication, 2023","venue":null,"work_id":"58059623-7dec-49d8-8c13-9b4a2e8972a3","year":2023},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.731945Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:013ddd9761036cc534e0a59e43d6af06967fe7c48665aa10c1572905fb3b23ad","observation_id":"8e50341f-82a2-4c49-a795-43a2016c65db","resolution":{"observed_at":"2026-08-07T15:04:13.259388Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.207058Z","title":"Generalized simulated annealing algorithm and its application to the thomson model","venue":null,"work_id":"5e895a67-06d5-4ffc-b94d-e985f7722dec","year":1997},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.776700Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:e2c5faeaa6d92445c24d6c472087ef1633db2d2e627ca403378ef9dd16367d4c","observation_id":"01b94831-d446-41a8-87e8-7daeb86f974b","resolution":{"observed_at":"2026-08-07T15:04:13.235412Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.132228Z","title":"Differentiable learning of logical rules for knowledge base reasoning","venue":null,"work_id":"6deb6e55-b703-4340-a425-a184b35e4416","year":null},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.811922Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:da40bb04ba90e246f1adb5e6c712769b4afee1d70b130f5b907f7aae15727ac6","observation_id":"0ea0dcc1-558c-4e59-8702-958178e8b1a9","resolution":{"observed_at":"2026-08-07T15:04:13.164611Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:15.991164Z","title":null,"venue":null,"work_id":"2ee9d281-8dd2-4197-a89d-bbdff48a000f","year":null},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:11.254322Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:65a46fe4c2192e0e885072582d380c6e395e45c640d5a61b3895ad2262e27a39","observation_id":"87d8d174-4c8b-45d9-846f-93dd6fea6c2b","resolution":{"observed_at":"2026-08-07T15:04:16.071011Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:04:13.062598Z","title":null,"venue":null,"work_id":"34f50304-fb4e-43b8-827b-5d324da29768","year":2017},"citing_paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI","version":1},"reference_index":2328,"source":"pdf_text","source_observed_at":"2026-08-07T15:04:12.846995Z"},"links":{"citing_paper":"/paper/2505.20313"},"observation_digest":"sha256:05762f4283324c7e3fdc5f59ca574177a63d9072ecb770d495932523a8dd5548","observation_id":"d9c1edb5-56fd-42ac-af99-6eb44d8e13b9","resolution":{"observed_at":"2026-08-07T15:04:13.095658Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.20313","last_updated":"2025-05-22T11:57:04Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T13:02:08.613645Z","submitted_at":"2025-05-22T11:57:04Z","title":"Reasoning in Neurosymbolic AI"},"reference_resolution":{"displayed":58,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":2,"verified_fuzzy":42},"total_outbound_references":58},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 1 inbound Pith citation observation for arXiv:2505.20313."}