{"as_of":"2026-08-09T22:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:50035f724d91fdbdf83d74ca392c8386dc070364bd8ccac6951c8d54ac6d590b","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T22:20:50.616361Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2502.09209/citation-record","integrity":"/paper/2502.09209/integrity","json":"/paper/2502.09209/citation-record.json","paper":"/paper/2502.09209"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:20:50.529683Z","title":"Theory and Practice of Logic Programming 18(3-4), pp","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.529683Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:4e6b7195b2929f8380e8a5b108d261d21736e1c0bc2db35d3cdf16cb8e1c2b25","observation_id":"d61a14b0-fbd5-4a6f-b004-b86ca971b118","resolution":{"observed_at":"2026-08-07T22:20:50.529683Z","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-07T22:20:50.534367Z","title":"Artificial Intelligence 303, p","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.534367Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:738b6c4fc85e26697ec80cff0d2ac34bb1db7c5cf266e384953db46dce42829c","observation_id":"ca8d0b25-c1a9-46ad-8626-21b95e775636","resolution":{"observed_at":"2026-08-07T22:20:50.534367Z","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-07T22:20:51.151141Z","title":"Available at https://github.com/hwchase17/langchain","venue":null,"work_id":"7e7f96a7-77ed-400b-884c-04ce7fd6727b","year":2022},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.538771Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:24d5ec8a71df0b4ac3023af6293607c2b5ba7b5e0f2dddf478cb84ef8e3ef659","observation_id":"65faa5e3-99b9-479a-a4a9-653ebbed6252","resolution":{"observed_at":"2026-08-07T22:20:51.155139Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1909.07328","last_updated":"2020-10-24T10:24:14Z","snapshot_observed_at":"2026-08-05T06:00:36.789850Z","submitted_at":"2019-09-16T16:48:52Z","title":"Learning Invariants through Soft Unification","version":2},"cited_work":{"arxiv_id":"1909.07328","doi":"10.48550/arxiv.1909.07328","metadata_source":"pith","pith_arxiv_id":"1909.07328","snapshot_observed_at":"2026-08-08T00:16:16.039225Z","title":"Learning Invariants through Soft Unification","venue":"cs.LG","work_id":"5bb9dbb7-de4d-49ef-9be1-ac60bb57af81","year":2019},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.542605Z"},"links":{"cited_paper":"/paper/1909.07328","citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:a16666495fd10732b54d2779de6d8b0387befcfb502107a71e338bb04288a9d9","observation_id":"21d94905-0934-4d79-a617-48447ff85351","resolution":{"observed_at":"2026-08-07T22:20:50.897087Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5275.16256","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:20:51.046010Z","title":"In: IJCAI, 7, pp","venue":null,"work_id":"960792a3-db88-434c-a685-d8fb429790fe","year":2007},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.547274Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:df4cb208ba84b68d65b6926d81a164db775f7ca79cf57bb334cb66d8ce4c5a9b","observation_id":"729c6c8f-a84e-4267-93bc-9746098b6ca3","resolution":{"observed_at":"2026-08-07T22:20:51.051357Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T22:20:50.551253Z","title":"Dowling & Jean H","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.551253Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:1ae607dec16012d79f3d5675e958cfe9c00a723d86141d656d349fc217bb68d3","observation_id":"620a9935-c4d5-4f90-a2af-f0f1dc6c38ed","resolution":{"observed_at":"2026-08-07T22:20:50.551253Z","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-07T22:20:51.140850Z","title":"(2020): Retrieval-augmented generation for knowledge-intensive nlp tasks","venue":null,"work_id":"1ccc78c1-745a-46e4-9893-1c41354689c0","year":2020},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.555953Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:c655af5a54ffb004f9247f2a43d77f1cbd0b7e6037a190d113a47ca302ddcabb","observation_id":"8357e19e-db19-4247-a76f-bac84f410fe1","resolution":{"observed_at":"2026-08-07T22:20:51.144511Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.20050","last_updated":"2023-05-31T17:24:00Z","snapshot_observed_at":"2026-08-05T13:11:04.104454Z","submitted_at":"2023-05-31T17:24:00Z","title":"Let's Verify Step by Step","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.20050","snapshot_observed_at":"2026-08-07T22:20:50.559892Z","title":"arXiv:2305.20050","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.559892Z"},"links":{"cited_paper":"/paper/2305.20050","citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:75fc34a431e90b0cda101acc164377fc88659dc6b7fbf995cec3d1d424935da0","observation_id":"7510e068-3913-4ae6-9d6b-2c7f3bcda31f","resolution":{"observed_at":"2026-08-07T22:20:50.559892Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.03872","last_updated":"2023-10-03T19:48:22Z","snapshot_observed_at":"2026-08-03T19:18:54.521205Z","submitted_at":"2023-06-06T17:18:56Z","title":"Deductive Verification of Chain-of-Thought Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.03872","snapshot_observed_at":"2026-08-07T22:20:50.564246Z","title":"arXiv:2306.03872","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.564246Z"},"links":{"cited_paper":"/paper/2306.03872","citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:0b50ecd44382ba608dc13adbb6e93f645e0b7f8a845f464811bf8ff2e3eb0b9f","observation_id":"395e484f-51fe-489b-8480-db9b13f67e71","resolution":{"observed_at":"2026-08-07T22:20:50.564246Z","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-07T22:20:51.130134Z","title":"14 On LLM-generated Logic Programs and their Inference Execution Methods","venue":null,"work_id":"a79e6bce-af1d-42ad-8808-8dede47a6b99","year":2023},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.568542Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:55ba6d3c105a02759632a704e3340066aa851ccc5e3c6ea9d3404d09f3ec2f67","observation_id":"4e6d60d4-c048-44b0-96f5-4b26feb2e58c","resolution":{"observed_at":"2026-08-07T22:20:51.133745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00354-021-00142-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:20:50.853586Z","title":"New Generation Computing 40(1), pp","venue":null,"work_id":"2ff0d82f-dc74-4653-bfae-7109f27dc5a1","year":2022},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.572570Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:a68ad6885ca4c9fc11bc86fab016a8b9768181a7adac10d82b9a6b75f4c98e6d","observation_id":"2dacf83d-1242-4b67-936a-6556563e1ddd","resolution":{"observed_at":"2026-08-07T22:20:50.857296Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T22:20:50.577262Z","title":"In Kentaro Inui, Jing Jiang, Vincent Ng & Xiaojun Wan, editors: EMNLP/IJCNLP (1) , As- sociation for Computational Linguistics, pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.577262Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:e297f43b38c9a554944eafd3ecc5c5b9651a38f0bade38e6d3ff6dce18c7e660","observation_id":"9f319a2c-64ec-40fd-91b0-acf65343c15c","resolution":{"observed_at":"2026-08-07T22:20:50.577262Z","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-07T22:20:50.581146Z","title":"In Gang Li, Yong Ge, Zili Zhang, Zhi Jin & Michael Blumenstein, editors: Knowledge Science, Engineering and Management , Springer International Publishing, Cham, pp","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.581146Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:503774c5a14bb486fb750abd9b521e264135f062a6315eadbb3664dac75d07b1","observation_id":"b20f2c96-87f1-4609-97f3-31ddbcff4810","resolution":{"observed_at":"2026-08-07T22:20:50.581146Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.05330","last_updated":"2021-05-14T05:08:12Z","snapshot_observed_at":"2026-07-06T11:08:35.481341Z","submitted_at":"2021-05-11T20:11:57Z","title":"Neuro-Symbolic Artificial Intelligence: Current Trends","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.05330","snapshot_observed_at":"2026-08-07T22:20:50.584744Z","title":"Available at https://arxiv.org/abs/ 2105.05330","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.584744Z"},"links":{"cited_paper":"/paper/2105.05330","citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:97ff992f095526876f4794c13d3ffc0dc050fa164eed053fb92bc356dc3fe4c9","observation_id":"e048eeff-7bb9-4281-8d7e-a35495b54edc","resolution":{"observed_at":"2026-08-07T22:20:50.584744Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.18059","last_updated":"2024-01-31T18:30:21Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-01-31T18:30:21Z","title":"RAPTOR: Recursive Abstractive Processing for Tree-Organized Retrieval","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.18059","snapshot_observed_at":"2026-08-07T22:20:50.588942Z","title":"Manning (2024): RAPTOR: Recursive Abstractive Processing for Tree-Organized Retrieval, doi:10.48550/arXiv.2401.18059","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.588942Z"},"links":{"cited_paper":"/paper/2401.18059","citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:4fb39f910202082ad6ed60e4c4bc9ddcce22f61c826dc829b44248516bbe8a1f","observation_id":"06911c58-33e2-4c81-a803-c76d0d4d3d51","resolution":{"observed_at":"2026-08-07T22:20:50.588942Z","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-07T22:20:50.593093Z","title":"Schaefer (1978): The complexity of satisfiability problems","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.593093Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:0aa37b26250675168a39eb66fa71d1d6cca7080d5b989c56db54dd48e5e077c6","observation_id":"fdf777a6-e98b-49cb-897e-a787223af8e1","resolution":{"observed_at":"2026-08-07T22:20:50.593093Z","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":"10.4204/eptcs.345.27","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:20:50.808455Z","title":null,"venue":null,"work_id":"c1b6a835-5a79-444f-9531-f4fdea35f18b","year":2021},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.596938Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:4e448436ab6e4b4d29f47e615775d7e0edf1dcbc7cccdeaa40e0dd2a9db931d0","observation_id":"5627baac-5dd4-4a8c-9340-af6542c71e4c","resolution":{"observed_at":"2026-08-07T22:20:50.811975Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.14077","last_updated":"2023-06-24T23:33:00Z","snapshot_observed_at":"2026-08-04T03:32:12.662466Z","submitted_at":"2023-06-24T23:33:00Z","title":"Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.14077","snapshot_observed_at":"2026-08-07T22:20:50.600421Z","title":"doi:10.48550/arXiv.2306.14077","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.600421Z"},"links":{"cited_paper":"/paper/2306.14077","citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:e3262aecf888b18d31f9f8d6ac95f23232515a1c24145d8dea7ae622ffb01c8e","observation_id":"29026b1e-8ecc-41f0-8366-d55237e91994","resolution":{"observed_at":"2026-08-07T22:20:50.600421Z","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-07T22:20:50.604914Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.604914Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:eac7f692d2e0261de82758b4de3d5c82db23b8de0517285141a37fb4dd0f18d8","observation_id":"eb46f57c-453a-4ce4-bb8d-f3e97181a262","resolution":{"observed_at":"2026-08-07T22:20:50.604914Z","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":"10.1007/978-981-97-2300-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"In Jeremy Gibbons & Dale Miller, editors: Functional and Logic Programming, Springer Nature Singapore, Singapore, pp","venue":"Lecture notes in computer science","work_id":"2b275e62-b9ac-4576-9548-df0bbc91679b","year":2024},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.608382Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:0c46f70e7a8f28ab1f361170257b59d48d03761fce3c5d8c2eacdc8290fbb6b9","observation_id":"784b941a-9103-4808-8098-77e59928c834","resolution":{"observed_at":"2026-08-07T22:20:50.790149Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s1471068420000137","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:20:50.771676Z","title":"Theory Pract","venue":null,"work_id":"cc82e13e-de5d-4a8b-9fe8-492aaf4a0362","year":2021},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.612436Z"},"links":{"citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:312ebf90f41a2703ece9942f4f95daad2c6647c2730318f8daf7595958f79cc8","observation_id":"4a11af6f-d007-4b74-b2b4-f60e22248dab","resolution":{"observed_at":"2026-08-07T22:20:50.776455Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.11903","last_updated":"2023-01-10T23:07:57Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-01-28T02:33:07Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.11903","snapshot_observed_at":"2026-08-07T22:20:50.616361Z","title":"Chi, Quoc Le & Denny Zhou (2022): Chain of Thought Prompting Elicits Reasoning in Large Language Models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T22:20:50.616361Z"},"links":{"cited_paper":"/paper/2201.11903","citing_paper":"/paper/2502.09209"},"observation_digest":"sha256:e114ef748a6bdb3cb4ab2c9af2e8fce46dd61d7352093253e9a0f0e58c07db78","observation_id":"bace4e9b-de96-4fe4-b077-0821d2a02fe4","resolution":{"observed_at":"2026-08-07T22:20:50.616361Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2502.09209","last_updated":"2025-02-13T11:47:44Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T22:14:57.799551Z","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":12,"verified_exact":5,"verified_fuzzy":3},"total_outbound_references":22},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2502.09209."}