{"as_of":"2026-08-11T20:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a0246a246a887ff2ad5b30ce86817541a118ccc05934eae20ca8ffa144606fcb","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T13:22:01.066470Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2606.10787/citation-record","integrity":"/paper/2606.10787/integrity","json":"/paper/2606.10787/citation-record.json","paper":"/paper/2606.10787"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T13:22:01.066470Z","title":"InNeural-Symbolic Learning and Reasoning: 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part I2024, 195–218, Berlin, Heidelberg","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:0a44d4aadd1b9b34caca19f2c668870c7cd8a68751804adb063ac8fdf1df0bb4","observation_id":"55a6f54e-1806-4f63-8482-8e860d8b0bbc","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"Ffnsl: Feed-forward neural-symbolic learner,112, 2, 515–569","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:ad8c8750d3ab5fda73abe4d95f1d77fef5bf95ec357a2fc24d7fe0dff964b175","observation_id":"2d4984cc-5eef-40c7-9ed2-6f611b09e22f","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"The mnist database of handwritten digit images for machine learning research, 29, 6, 141–142","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:da1ed6541a7f2dd1f11acab58ad7c302688ae4609120188757072a92798c499b","observation_id":"3e3ee0c8-0177-4db7-921b-a5777467fd95","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"and Lamb, L.Neurosymbolic ai: the 3rd wave","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:a5d7add18bbf35f2eef3c94316326f7f2f265bcd6ce93e3cf0a5e2bfd25ef176","observation_id":"910a0835-8d43-4c4d-8cde-ad8c6ca74283","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1705.09811","last_updated":"2018-03-20T16:43:53Z","snapshot_observed_at":"2026-08-04T23:36:14.647047Z","submitted_at":"2017-05-27T11:52:40Z","title":"Multi-shot ASP solving with clingo","version":2},"cited_work":{"arxiv_id":"1705.09811","doi":null,"metadata_source":"pith","pith_arxiv_id":"1705.09811","snapshot_observed_at":"2026-07-04T12:49:51.922874Z","title":"Gebser, M.; Kaminski, R.; and Schaub, T","venue":"cs.AI","work_id":"75d8ca89-2194-4551-ab5f-4ab587d3d274","year":2017},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"cited_paper":"/paper/1705.09811","citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:12c640b82cffccc24e820b30c949a8a87807e185737601f62c33b4e1a98b48cf","observation_id":"8bbef20c-aaa8-4f42-92dc-c5ba3a61baa2","resolution":{"observed_at":"2026-07-03T05:07:39.547219Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-27T13:22:01.066470Z","title":"Llm-arc: Enhancing llms with an automated reasoning critic","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:58ae8d1f9109fc1180d1feb72fd91e972a34ca3e38aff39e4f0f204908e42a9f","observation_id":"3549a63f-b329-450b-ba06-2f13d9cfeef6","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"and Hinton, G.2009","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:e8851478db342cd2919766bcf7cc1a5e4c037eafeb93125248aff25b86395280","observation_id":"507322b5-e167-40df-9523-92d0a061b357","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"InReason- ing Web","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:9a66ce15f4791d71e2d7a60a81735b3f204c1e21990f404befa7b6302c518899","observation_id":"ef1c8743-be24-4ff1-ba27-da1c242e675f","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"196–231, Cham","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:a44bc3d63c57cc7bf57b8a7cd9e284dd2c225065614b9bed95fa2e23fc3ca314","observation_id":"bb36a176-b398-476a-b705-87532c976de8","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"Springer Publishing Company, Incorporated, 1st edition","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:f27fb008fd6c7ddf89edf3ce2aae796545a767c665702d4f3eee392816cd112b","observation_id":"96b98f69-7938-4fa9-811a-e5b296ac80aa","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"Neural probabilistic logic programming in deepproblog,298, 103504","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:dd81161fbe3388f34a50cfe87d92645705e49e1063edc7ab1a9ae21dd45ba6ab","observation_id":"6cfb51ad-aae0-4ee5-b71e-5785e80acb4d","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"S.,and Kersting, K.2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:a0a9ad8d8a335f458cdb14975d3a6c7f2604345393a7276055e5c930d4ec00b6","observation_id":"edf38a40-afa3-403f-ab6b-d7a04809d31a","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"S.,and Kersting, K.2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:87b6529a5a96da969f65e9458074c5bb1eb9170ff1a4ed7c6edf1ad469781b9e","observation_id":"7233a5ac-39ec-46c3-83e2-07d2127322c1","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","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-06-27T13:22:01.066470Z","title":"Dspy-based neural-symbolic pipeline to enhance spatial reasoning in llms","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:0a4728ab857aac2404785fbeefc1f94af767ec19cab9c2e64de59fb8b2840fa0","observation_id":"c335d33e-93f0-488d-9e9e-87a007157448","resolution":{"observed_at":"2026-06-27T13:22:01.066470Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-02T15:51:52.924240Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":13,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":14},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2606.10787."}