{"as_of":"2026-08-11T10:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e2234675677b3e95c3402eb30e9018ffd84d444e6eed0e902c5e745a6125f0e5","coverage":[{"denominator":78,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":78,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-31T18:15:10.987827Z","state":"measured"},{"denominator":78,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":78,"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/2607.28086/citation-record","integrity":"/paper/2607.28086/integrity","json":"/paper/2607.28086/citation-record.json","paper":"/paper/2607.28086"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T18:15:10.737473Z","title":"The Stable Model Semantics for Logic Programming , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.737473Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:d149854fb13dc3f5e7afff93c4d59f9fb39357468dcf05818cfcfb59c5ff5fd3","observation_id":"b9413df2-ff3d-481d-998c-d9ae4255855d","resolution":{"observed_at":"2026-07-31T18:15:10.737473Z","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-07-31T18:15:10.742473Z","title":"Theory Pract","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.742473Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:6e8faa3a230d4d6f80aaea8f137e2f8d6577d3b2e2348c4ae4d247fd7fac4f41","observation_id":"9a1f15ee-38c4-4030-b5b5-cbc25bf6abfa","resolution":{"observed_at":"2026-07-31T18:15:10.742473Z","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-07-31T18:15:10.745888Z","title":"Lawrence Zitnick and Devi Parikh , title =","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.745888Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:03b5f193eba2cbef7aa4c3f653e9321280436e24250fcf2b54861143cccc2f92","observation_id":"cb3bfb25-1798-4dac-82cb-b70dee812be0","resolution":{"observed_at":"2026-07-31T18:15:10.745888Z","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-07-31T18:15:10.749301Z","title":"Making the","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.749301Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:35045c4b66485a54929d982b11b3cc9d976cb7c82e8af3da63545901bde47e35","observation_id":"f085244e-629a-4eac-b7e3-a824585bf421","resolution":{"observed_at":"2026-07-31T18:15:10.749301Z","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-07-31T18:15:10.752790Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.752790Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:4246046ef8fe04c54d01e68cd2851dc2d1879ff1767078233962559c2b153654","observation_id":"ce046b1b-3256-473d-8b34-538f25b5b0e6","resolution":{"observed_at":"2026-07-31T18:15:10.752790Z","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-07-31T18:15:10.756030Z","title":"Visual Genome: Connecting Language and Vision Using Crowdsourced Dense Image Annotations , journal =","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.756030Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:eab0ac5d83027c9891cea4a8403803cfb902cef84628dcc2850b769d2362fa11","observation_id":"1e5e7346-e357-437b-b32b-8b974e095086","resolution":{"observed_at":"2026-07-31T18:15:10.756030Z","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-07-31T18:15:10.759144Z","title":"Hudson and Christopher D","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.759144Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:7d8a79a0d1d61b8267382ed3e4dd41c62eee62d6ef82c10deb4df211620bc4cc","observation_id":"1a81e886-d175-47ff-a15c-89320a25cb4b","resolution":{"observed_at":"2026-07-31T18:15:10.759144Z","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-07-31T18:15:10.762486Z","title":"Tenenbaum , title =","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.762486Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:cab95d05236a455f30e1bc3443eab0d884f0e992db554688a014761ede87de2d","observation_id":"1b8eadb9-76b6-4deb-82fd-602e0d909d01","resolution":{"observed_at":"2026-07-31T18:15:10.762486Z","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-07-31T18:15:10.765586Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.765586Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:205a8e2f2e18c5f0b176c1e733f32e20095e05309f737f1cfa374fec1e4c5c29","observation_id":"63c984cb-de53-4191-8df0-3dca61ba4b34","resolution":{"observed_at":"2026-07-31T18:15:10.765586Z","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-07-31T18:15:10.769034Z","title":"Inferring and Executing Programs for Visual Reasoning , booktitle =","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.769034Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:0c9549b27caf9c15568d56084a1afd35826efe8baa54e2016be7dc45ec483662","observation_id":"efcb6c3c-e973-4542-8c2f-24709d40d823","resolution":{"observed_at":"2026-07-31T18:15:10.769034Z","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-07-31T18:15:10.772332Z","title":"Hudson and Christopher D","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.772332Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:56aa3e5fd3b4ef65aec53cd292932e18c358e16f9934b54649b3d153271cc587","observation_id":"7ef89d37-2d9c-4e71-8189-559ca08e637f","resolution":{"observed_at":"2026-07-31T18:15:10.772332Z","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-07-31T18:15:10.775279Z","title":"Neural-Symbolic","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.775279Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:080ba99d0173b55a9fc282aa74edf7ce9b05084ff588a65120a285557266217e","observation_id":"280f5e6a-d9fa-446b-9ba0-680310064ae3","resolution":{"observed_at":"2026-07-31T18:15:10.775279Z","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-07-31T18:15:10.778181Z","title":"Tenenbaum and Jiajun Wu , title =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.778181Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:cf39f60fb0fb76cecf22b8849336572088beacef4971e8c6fef30360927831d0","observation_id":"c216d71b-b539-423a-9fe8-c58e1cd899af","resolution":{"observed_at":"2026-07-31T18:15:10.778181Z","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-07-31T18:15:10.781142Z","title":"DeepProbLog: Neural Probabilistic Logic Programming , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.781142Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:1eed0c42d09f35443f57cf15ddacfbef641e97c83045d8f9776e543ab881cb82","observation_id":"85e7b69a-bbdb-4649-a315-8f123d75b1d9","resolution":{"observed_at":"2026-07-31T18:15:10.781142Z","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-07-31T18:15:10.784388Z","title":"d'Avila Garcez , editor =","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.784388Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:9fdb0a2efbf516fc5c5fe6368f1ad2ab05fde622e5cabb7dbc168fc374636906","observation_id":"68e75fea-b913-4783-a5a7-33f6481c6894","resolution":{"observed_at":"2026-07-31T18:15:10.784388Z","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-07-31T18:15:10.787272Z","title":"Neurosymbolic","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.787272Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:4a89ae5332b7e4ad4a4c9ff7f13b88f8c88be2687963b7a65b982194e1568214","observation_id":"9e824d48-06ef-471e-9412-f6eefc160741","resolution":{"observed_at":"2026-07-31T18:15:10.787272Z","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-07-31T18:15:10.790175Z","title":"Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text , booktitle =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.790175Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:d17a784c95123e0a927b4f4eb14e9e372ffa648f8815de611ec679b7db5ff369","observation_id":"7bbd0bb5-3795-4402-b29e-c861f7aeba67","resolution":{"observed_at":"2026-07-31T18:15:10.790175Z","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-07-31T18:15:10.793170Z","title":"Leveraging Large Language Models to Generate Answer Set Programs , booktitle =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.793170Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:9aedc448e36d9be33904930a0ce536793560de02d76a704e317d8cb83c65625b","observation_id":"2472e784-e351-479f-a1c3-a74d3819d1d2","resolution":{"observed_at":"2026-07-31T18:15:10.793170Z","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-07-31T18:15:10.796039Z","title":"Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR) , pages =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.796039Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:f9a73c2d5e178f755c10f8d3b26bd5773d24fd0c539df70bc03353a5695a1c05","observation_id":"fa7d65f7-0427-4e0c-8b19-575777254f13","resolution":{"observed_at":"2026-07-31T18:15:10.796039Z","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-07-31T18:15:10.799245Z","title":"Trinh and Yuhuai Wu and Quoc V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.799245Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:988e6db4d341ba188b62bec422f9fa8b5cceabb0fc1c870b59874a857fd1c3ff","observation_id":"461c53e8-6c1e-4a6d-aa09-f8c121c0c58e","resolution":{"observed_at":"2026-07-31T18:15:10.799245Z","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-07-31T18:15:10.802635Z","title":"Theory and Practice of Logic Programming , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.802635Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:ce7ebde0dfad222e5509632323888c97def01ed13818a76227a9075aa687d5ee","observation_id":"cfcfac2c-1c29-421d-add7-d3ec4631646f","resolution":{"observed_at":"2026-07-31T18:15:10.802635Z","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-07-31T18:15:10.805724Z","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.805724Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:ac6e8dcfc8582d02c8fab6f3d42f4f5e6ba84c13dab83779f998cc192da76a54","observation_id":"7065355c-d973-4bc6-aa6f-2f35e75c2136","resolution":{"observed_at":"2026-07-31T18:15:10.805724Z","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-07-31T18:15:10.808754Z","title":"Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning (","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.808754Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:0f91a986fd9923a549d346ff9b4017cc604f1c71a124b6d16f3fdcfc007ea9d8","observation_id":"bcd1a3e6-de13-478c-8f27-f380328fa686","resolution":{"observed_at":"2026-07-31T18:15:10.808754Z","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-07-31T18:15:10.811640Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.811640Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:6d472dd22d28abf5ba67b98e74f3fab7984ed0a83f40bc53a525b75f45c5790d","observation_id":"b1217599-9c35-4caf-b9dc-0c7855068e04","resolution":{"observed_at":"2026-07-31T18:15:10.811640Z","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-07-31T18:15:10.818553Z","title":"Jimenez and John Yang and Alexander Wettig and Shunyu Yao and Kexin Pei and Ofir Press and Karthik R","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.818553Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:0dcae1aab46defe522c4bd0bf2392ca96d20d2ee1dbeeb7c054f06bd39867596","observation_id":"5179c65f-dff5-442a-9165-c07e123175e9","resolution":{"observed_at":"2026-07-31T18:15:10.818553Z","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-07-31T18:15:10.821532Z","title":"Jimenez and Alexander Wettig and Kilian Lieret and Shunyu Yao and Karthik Narasimhan and Ofir Press , editor =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.821532Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:a402d21837507f22a1a2d0be4dc3943504bc68875cab84b66002fa855d27271a","observation_id":"4bc32e7f-6b82-4b4f-8d93-5308190d0524","resolution":{"observed_at":"2026-07-31T18:15:10.821532Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.08155","last_updated":"2023-10-03T20:47:10Z","snapshot_observed_at":"2026-08-08T22:28:26.004138Z","submitted_at":"2023-08-16T05:57:52Z","title":"AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.08155","snapshot_observed_at":"2026-07-31T18:15:10.824956Z","title":"CoRR , volume =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.824956Z"},"links":{"cited_paper":"/paper/2308.08155","citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:5ef4c67243848025872ce117720d624c34b36a5669a9e6f3b658ba7f0ba5c1c1","observation_id":"1e435e96-6f92-4ccf-98b7-cdf0384f72dc","resolution":{"observed_at":"2026-07-31T18:15:10.824956Z","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-07-31T18:15:10.828263Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.828263Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:3d8880939878c207ec784ca6b837262e19e78cebd5be9c63fa6a0d4f102f573f","observation_id":"65a1515b-f5de-4bf2-abfb-eb0ea619ec18","resolution":{"observed_at":"2026-07-31T18:15:10.828263Z","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-07-31T18:15:10.831121Z","title":"Chi and Quoc V","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.831121Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:85b4ee1a7620ac13243ef6775cad06a16cd406a14211fc040ec7a4680ec34c67","observation_id":"686cc2f1-6372-4cb8-913e-6664cf89a776","resolution":{"observed_at":"2026-07-31T18:15:10.831121Z","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-07-31T18:15:10.833976Z","title":"Large Language Models are Zero-Shot Reasoners , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.833976Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:c34dc884172ae1a71e3524bfdaecc838cb922988e1ac35d65e8115eb448a9598","observation_id":"c7878477-849e-4e26-90bd-8ed6d6efab7c","resolution":{"observed_at":"2026-07-31T18:15:10.833976Z","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-07-31T18:15:10.836919Z","title":"Le and Ed H","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.836919Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:2dd48565998f245c265035c052b9e4bd4b16f8060329d6345e1a7ae4e10f7dd4","observation_id":"271812d3-17dd-4bd2-95e0-07f34108729f","resolution":{"observed_at":"2026-07-31T18:15:10.836919Z","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-07-31T18:15:10.839704Z","title":"Tree of Thoughts: Deliberate Problem Solving with Large Language Models , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.839704Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:da1227156607692a7e6e240e77101e8a3f4e5ea7b78b102ae6ea040e8044fe9a","observation_id":"22a1c0a4-236d-49be-bd05-daf2e254a1e0","resolution":{"observed_at":"2026-07-31T18:15:10.839704Z","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-07-31T18:15:10.842787Z","title":"International Conference on Machine Learning,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.842787Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:325965ae1c120ecfe52a0dcb0ee61b6624e684f88306217aae12682d3862f58e","observation_id":"5ffca07d-eb81-419a-88eb-775bc0cf7822","resolution":{"observed_at":"2026-07-31T18:15:10.842787Z","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-07-31T18:15:10.845678Z","title":"Cohen , title =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.845678Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:959f277edd887d3dd25b7f01fb5ddb0c10b280f49b25d685dbc47519a648d15f","observation_id":"0a3b1ad1-3ee2-43a0-9ccf-ce400dfccde7","resolution":{"observed_at":"2026-07-31T18:15:10.845678Z","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.1609/aaai.v40i30.39714","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving , booktitle =","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"d8264ec1-f678-46d3-ad61-127f6f5e3da2","year":2026},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.854379Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:9ec37e65680f6eb532c40a64012cffd7ed29323c9acbcd715c5350b0700f0e8a","observation_id":"4211f62e-167e-4b41-8b23-bd8c8683194f","resolution":{"observed_at":"2026-07-31T18:16:21.467516Z","resolver_source":"doi","status":"verified_exact"},"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-07-31T18:15:10.857395Z","title":"Theory and Practice of Logic Programming , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.857395Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:8e4b3fe3f59c192a19d660990c5d869b5dc6da13407a1af8e2b5be261b83acbd","observation_id":"5e767ebc-5c39-4b63-a44f-e6bc15fec3b4","resolution":{"observed_at":"2026-07-31T18:15:10.857395Z","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-07-31T18:15:10.860299Z","title":"Neural module networks","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.860299Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:47a4eded0bc9506f486afc091fc92250b9d54b73978833782be2110b4dfda9d6","observation_id":"592d6698-82a2-4b6b-a88b-795d15c53ecb","resolution":{"observed_at":"2026-07-31T18:15:10.860299Z","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-07-31T18:15:10.863340Z","title":"The Claude 4 model family: Sonnet, opus, and haiku","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.863340Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:f873a76a8fee603602486fef8919302a52d8c82958afa1d2114c19e5a7328baf","observation_id":"18d3af65-938b-4fe2-90be-9db47819af98","resolution":{"observed_at":"2026-07-31T18:15:10.863340Z","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-07-31T18:15:10.866408Z","title":"Lawrence Zitnick, and Devi Parikh","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.866408Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:d3a4cfe4099a36a36fe15e268701ef2f4fdfeff14665605d2c76f07fc27ebaf7","observation_id":"9b3ae6ed-7097-4225-b539-c1a67d97c9ce","resolution":{"observed_at":"2026-07-31T18:15:10.866408Z","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-07-31T18:15:10.869414Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.869414Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:7e9a22c839055af938568aa34a145c4914cd341ca6cdac31be3d8433b4601197","observation_id":"5574ff9d-5942-48ff-9daf-3e95848f9c1f","resolution":{"observed_at":"2026-07-31T18:15:10.869414Z","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/s10844-025-01017-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fine-tuning llms for answer set programming","venue":"Journal of Intelligent Information Systems","work_id":"c8bdc7a6-709e-423c-883b-5a4782b1081b","year":2026},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.872439Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:8483c4dcc9611f87aaa3e0dc201f3ee8048b26d0a3e261a4c6e3bc57b276a059","observation_id":"7ebe1691-6ecb-49de-8b18-e91dc44a6c87","resolution":{"observed_at":"2026-07-31T18:16:21.643400Z","resolver_source":"doi","status":"verified_exact"},"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-07-31T18:15:10.875269Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.875269Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:662b9fcf402548d526a9ba390fcab89289f032538a907adce8df5992b3354b33","observation_id":"4514eb5b-cb92-466a-800e-cf9c09a38e2d","resolution":{"observed_at":"2026-07-31T18:15:10.875269Z","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-07-31T18:15:10.878327Z","title":"DeepSeek-V4 technical report","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.878327Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:ee02cb6af50943884e8401be401102fa452e05d41c5881d421e26d1a56e2a07a","observation_id":"4b6fa11b-4ca3-4a06-8bb1-7f4778339a76","resolution":{"observed_at":"2026-07-31T18:15:10.878327Z","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-07-31T18:15:10.881089Z","title":"d'Avila Garcez","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.881089Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:8d1a38628767288c7d2fe6edbe6840fae11fc1954c080e0dff89d52cef096a26","observation_id":"4a57f8da-fb47-45f2-927b-87f495ce2b23","resolution":{"observed_at":"2026-07-31T18:15:10.881089Z","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-07-31T18:15:10.884063Z","title":"A neuro-symbolic ASP pipeline for visual question answering","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.884063Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:7c839c65052fdf717a5007636a80897e1dd03d459ef2b7ac081911843b1f904a","observation_id":"564c675f-da0a-43fd-b74d-2107bc0206e3","resolution":{"observed_at":"2026-07-31T18:15:10.884063Z","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.24963/ijcai.2023/408","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A logic-based approach to contrastive explainability for neurosymbolic visual question answering","venue":null,"work_id":"5f8aa0c0-777c-4188-9e48-27aab191fb06","year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.886787Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:15b4a997eb6d19208391bbc844c37ff2d1f44071800008a9db32f9be6fb855a5","observation_id":"b3f0c5b7-d1ae-45e2-9a26-e61f62304b26","resolution":{"observed_at":"2026-07-31T18:16:21.191946Z","resolver_source":"doi","status":"verified_exact"},"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-07-31T18:15:10.890907Z","title":"A modular neurosymbolic approach for visual graph question answering","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.890907Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:4150de9baa2da87e8b4b554e844c751f920e3423e59a4a6db4a71e25b7a1c904","observation_id":"60f55313-fc1b-4a2d-919f-f9c00e5e472d","resolution":{"observed_at":"2026-07-31T18:15:10.890907Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.09428","last_updated":"2024-10-12T08:17:03Z","snapshot_observed_at":"2026-07-06T19:32:15.226489Z","submitted_at":"2024-10-12T08:17:03Z","title":"Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.09428","snapshot_observed_at":"2026-07-31T18:15:10.894010Z","title":"Declarative knowledge distillation from large language models for visual question answering datasets","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.894010Z"},"links":{"cited_paper":"/paper/2410.09428","citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:7c69d689599f128f2eb78c5844e6fa021a8fa56d6ac4b04ec743c04787f71d46","observation_id":"6e930e04-0aff-4f13-b1f1-af8802ab8b0c","resolution":{"observed_at":"2026-07-31T18:15:10.894010Z","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-07-31T18:15:10.897554Z","title":"PAL: program-aided language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.897554Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:3de4b1684760eae73952c133157074dd0c16a4b8f97ebdf9b331de43ffd1c517","observation_id":"cdd73b70-0c42-4d6d-9dda-fe7379e43ad7","resolution":{"observed_at":"2026-07-31T18:15:10.897554Z","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-07-31T18:15:10.900888Z","title":"Multi-shot ASP solving with clingo","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.900888Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:f5497cbe193915693b4b37c75ce4c3cb9418fc519b3ae2ee79287536e0653c8a","observation_id":"1867cbed-6aff-4fb7-8c66-15fe3427d76e","resolution":{"observed_at":"2026-07-31T18:15:10.900888Z","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-07-31T18:15:10.903846Z","title":"The stable model semantics for logic programming","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.903846Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:7cbeca44e6dadf6f70f0d4a8e42d69d5bcb6cbfcddada1673db0888801425cd1","observation_id":"4e53a734-aa78-48c7-8376-821fc880cc05","resolution":{"observed_at":"2026-07-31T18:15:10.903846Z","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-07-31T18:15:10.907042Z","title":"Making the V in VQA matter: Elevating the role of image understanding in visual question answering","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.907042Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:e75b6ccf17707e08d9f3abd581e471104e280c2c3570e14ad6c575f2f4ef8af6","observation_id":"674d5784-0b77-400c-9988-d59c3fdd3d54","resolution":{"observed_at":"2026-07-31T18:15:10.907042Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1503.02531","last_updated":"2015-03-09T15:44:49Z","snapshot_observed_at":"2026-07-06T04:11:24.157003Z","submitted_at":"2015-03-09T15:44:49Z","title":"Distilling the Knowledge in a Neural Network","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1503.02531","snapshot_observed_at":"2026-07-31T18:15:10.910025Z","title":"Hinton, Oriol Vinyals, and Jeffrey Dean","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.910025Z"},"links":{"cited_paper":"/paper/1503.02531","citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:041542735021b6ae0a45ce2f33045320f05fd164bf7ba072148cde6954082426","observation_id":"0243d50b-27d2-4425-86e9-cd190e8484bd","resolution":{"observed_at":"2026-07-31T18:15:10.910025Z","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-07-31T18:15:10.913077Z","title":"Hudson and Christopher D","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.913077Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:dfa3031c861e13d7b63174545345735f6fdb49796742042b746bc5befdba1700","observation_id":"e609cfc4-8a63-4ca8-a912-27ed0ae6bb14","resolution":{"observed_at":"2026-07-31T18:15:10.913077Z","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-07-31T18:15:10.916086Z","title":"Hudson and Christopher D","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.916086Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:dd5f708a0a3dc6fcfe3cd820d44b4fbae90a861bc0dd02fc487d3041426a366e","observation_id":"021d58be-1c4a-4d87-9020-46156612f6ec","resolution":{"observed_at":"2026-07-31T18:15:10.916086Z","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-07-31T18:15:10.918928Z","title":"Leveraging large language models to generate answer set programs","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.918928Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:6e1e2d13118254d2b40022a41b123df4775da1e3f6d6373eaaace319425d4b8d","observation_id":"587b5fc1-b4c3-4396-a9e2-03b1381f74e4","resolution":{"observed_at":"2026-07-31T18:15:10.918928Z","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-07-31T18:15:10.921944Z","title":"Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik R","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.921944Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:56b106d607c0d8d779f3513a73cdc9c9b3bce659739f39e1541698d578227663","observation_id":"b67ad2c4-435b-4db3-9df5-b16fd55ed8e2","resolution":{"observed_at":"2026-07-31T18:15:10.921944Z","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-07-31T18:15:10.924874Z","title":"Lawrence Zitnick, and Ross B","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.924874Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:81862ed937cd3603d8cb7ff126ad5347c194cf526c7d7066f887a8e2c6cadc2d","observation_id":"9f66dc88-7b88-47d1-a27c-180a8e80d9c6","resolution":{"observed_at":"2026-07-31T18:15:10.924874Z","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.1109/iccv.2017.325","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Lawrence Zitnick, and Ross B","venue":null,"work_id":"2ba8c9cd-fd25-45b1-9b6d-5fae6b766426","year":2017},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.927776Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:46033c78e07c1fa9c4ab4d7b27ff125ba689b54db215914b46fbbed95bdb7033","observation_id":"c0b9fc6b-9224-461f-b067-e1895d5497bf","resolution":{"observed_at":"2026-07-31T18:16:20.996993Z","resolver_source":"doi","status":"verified_exact"},"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-07-31T18:15:10.930699Z","title":"Large language models are zero-shot reasoners","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.930699Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:a238f36401aa0349a883eb08a7e40b5efe3e23412c7515b62b1da78f00efb71f","observation_id":"81cc32d6-bef6-451b-adfb-bb622abf7603","resolution":{"observed_at":"2026-07-31T18:15:10.930699Z","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-07-31T18:15:10.933767Z","title":"Shamma, Michael S","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.933767Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:dd3547438d14540b0db468838632882b4fa885607e869f941ae04f36bdd724e4","observation_id":"77de2dec-2d13-47da-b93c-d8f0eae60937","resolution":{"observed_at":"2026-07-31T18:15:10.933767Z","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-07-31T18:15:10.936714Z","title":"Deepproblog: Neural probabilistic logic programming","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.936714Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:f6d23bffc6d247822634d0444bcafc819c0ebc8bde3bfbcd3b656572e3793fc2","observation_id":"4e328296-ec6f-43a2-9550-e7c9bbf21da6","resolution":{"observed_at":"2026-07-31T18:15:10.936714Z","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-07-31T18:15:10.940390Z","title":"Tenenbaum, and Jiajun Wu","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.940390Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:0b02b38109395a70f6aec8875b15c021406842071a435778222a579625370b8b","observation_id":"180ebbec-1840-46d4-9ad0-9ecaa085f120","resolution":{"observed_at":"2026-07-31T18:15:10.940390Z","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-07-31T18:15:10.943358Z","title":"GPT-5 system card","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.943358Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:904101dbe003ec3e459e17e18aa35a3e66125d7b8a1d0e0e68afd1c533bd7f05","observation_id":"94a21850-db13-49dd-8e96-a6f70075dca1","resolution":{"observed_at":"2026-07-31T18:15:10.943358Z","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.24963/kr.2025/60","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Can llms solve ASP problems? insights from a benchmarking study","venue":null,"work_id":"b73afbf2-0214-4f0b-b1b9-cb1a82a0bd60","year":2025},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.946647Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:334ebae94a2cf4c62af7e6840043f45f493bba3f2076c8565bd2ea6df89d2505","observation_id":"77a9b12c-eff1-4ed8-8ad9-25629c3b4ba6","resolution":{"observed_at":"2026-07-31T18:16:21.883770Z","resolver_source":"doi","status":"verified_exact"},"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":"10.1017/s1471068425100343","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Question answering with LLMs and learning from answer sets","venue":"Theory and Practice of Logic Programming","work_id":"bd9a38bb-f776-4fc1-b971-5e19fc105672","year":2025},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.949369Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:3db6e9befd96b87f249e880fb184875724c4f6ce46be105be33b43af7310cdd6","observation_id":"1e3252a2-a2c5-4d65-a7df-5afc6be37117","resolution":{"observed_at":"2026-07-31T18:16:20.763812Z","resolver_source":"doi","status":"verified_exact"},"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-07-31T18:15:10.952241Z","title":"A solver-in-the-loop framework for improving llms on answer set programming for logic puzzle solving","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.952241Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:08d9f67c86ac6467a5fa35515d16dbf60228d440218772126c2c40ad720e54a2","observation_id":"728e535b-9a20-4b3b-8b60-3c276ab8e9e8","resolution":{"observed_at":"2026-07-31T18:15:10.952241Z","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-07-31T18:15:10.955205Z","title":"Trinh, Yuhuai Wu, Quoc V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.955205Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:db83e29b5a5cd6acb6cddaaf0a6bcd2cabaca30987450487cae4f4b2b103db82","observation_id":"9c6e2e89-fbca-4b7d-8323-baa2c8021699","resolution":{"observed_at":"2026-07-31T18:15:10.955205Z","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-07-31T18:15:10.958926Z","title":"Voyager: An open-ended embodied agent with large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.958926Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:1dca1846a476549037c94766a0d930da8f237dd68b0e2359cb9c0513ce1518a9","observation_id":"50e6b725-25a6-4ae1-9526-341d9cf937b9","resolution":{"observed_at":"2026-07-31T18:15:10.958926Z","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-07-31T18:15:10.961892Z","title":"Le, Ed H","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.961892Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:aa21aa50a5fd062323273dbdb4ab5eef33dd32241bfb6a6c544a933d635dc5e1","observation_id":"1bfb9efd-7bfe-48cc-b3b6-f47678dd3365","resolution":{"observed_at":"2026-07-31T18:15:10.961892Z","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-07-31T18:15:10.965345Z","title":"Chi, Quoc V","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.965345Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:1bbe00e71140a91f2c34bd1bf8e6dcb72a1dbf7266c73777d3ac641516b4192c","observation_id":"9c536147-ced6-493e-ba02-9c8cee43ab2d","resolution":{"observed_at":"2026-07-31T18:15:10.965345Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.08155","last_updated":"2023-10-03T20:47:10Z","snapshot_observed_at":"2026-08-08T22:28:26.004138Z","submitted_at":"2023-08-16T05:57:52Z","title":"AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.08155","snapshot_observed_at":"2026-07-31T18:15:10.968620Z","title":"Autogen: Enabling next-gen LLM applications via multi-agent conversation framework","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.968620Z"},"links":{"cited_paper":"/paper/2308.08155","citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:226fa3f8a4d44fb832cf69833d165dd1b5af8ed1b2acb690f9527549634ca33c","observation_id":"500b9811-5503-4419-91fc-d8de620a5c3b","resolution":{"observed_at":"2026-07-31T18:15:10.968620Z","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-07-31T18:15:10.972107Z","title":"Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.972107Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:188b1971427579d1ce44163e082fa123f8c97c72af00fcd42b4addb8ac0bac98","observation_id":"8e2514bf-a5e2-42d9-b7e5-edc129ddba6b","resolution":{"observed_at":"2026-07-31T18:15:10.972107Z","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-07-31T18:15:10.975373Z","title":"Coupling large language models with logic programming for robust and general reasoning from text","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.975373Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:586cc6707e5c19bfedb1e464895d32722836810c6892c3210ced230ff9847611","observation_id":"72023f50-6aa6-4bcf-b3d7-c4a03e5ef508","resolution":{"observed_at":"2026-07-31T18:15:10.975373Z","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-07-31T18:15:10.979033Z","title":"Learning to solve constraint satisfaction problems with large language models and answer set programming","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.979033Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:9f49cf10e84c72f1a9785017fcd99b07ad343c3999128c3de0a835cd9d3ec514","observation_id":"afea1234-52dd-4126-99c8-60e7f53f5152","resolution":{"observed_at":"2026-07-31T18:15:10.979033Z","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-07-31T18:15:10.981929Z","title":"Tree of thoughts: Deliberate problem solving with large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.981929Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:c5c4b0a2f5a8fdf276c406ace17c6925f614ed3ca03844591e5bddd5848c01ff","observation_id":"31bc2116-e327-424e-bfca-c238b7a07e74","resolution":{"observed_at":"2026-07-31T18:15:10.981929Z","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-07-31T18:15:10.984816Z","title":"Neural-symbolic VQA: disentangling reasoning from vision and language understanding","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.984816Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:4871172394767676b2683b7480aa5fcac1cb78107d427b2703f5538a7b192c9c","observation_id":"88b76e1c-4898-49ec-b5f2-e46f3302a53d","resolution":{"observed_at":"2026-07-31T18:15:10.984816Z","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-07-31T18:15:10.987827Z","title":"Tenenbaum","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-07-31T18:15:10.987827Z"},"links":{"citing_paper":"/paper/2607.28086"},"observation_digest":"sha256:b5e449fde944caad5616c531586a4d48445a5d891ac7a1aa0a183aaa00e5fbc0","observation_id":"657e1aad-ba13-4837-a309-8e367a2445e3","resolution":{"observed_at":"2026-07-31T18:15:10.987827Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.28086","last_updated":"2026-07-30T11:53:43Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T22:34:17.831272Z","submitted_at":"2026-07-30T11:53:43Z","title":"Distilling Answer Set Programming Theories from Large Language Models"},"reference_resolution":{"displayed":78,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":72,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":78},"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 78 of 78 outbound references and 0 inbound Pith citation observations for arXiv:2607.28086."}