{"as_of":"2026-08-09T20:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:86cd1b59d4ebe5c6502546a3ff37178e2b30c8176e28961210ba469b2a512e1e","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-06T17:59:18.294930Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T05:47:20.673751Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.09751","snapshot_observed_at":"2026-08-02T05:47:20.673751Z","title":"and Chhikara, Prateek and Ferguson, Thomas Macaulay and Ilievski, Filip and Groth, Paul , title =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13260","last_updated":"2026-07-14T20:47:38Z","snapshot_observed_at":"2026-08-07T15:00:35.881926Z","submitted_at":"2026-07-14T20:47:38Z","title":"Discourse-Aware Policy Analysis with Argumentation: A Hybrid LLM-Symbolic Framework for Disaster Governance","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-02T05:47:20.673751Z"},"links":{"cited_paper":"/paper/2507.09751","citing_paper":"/paper/2607.13260"},"observation_digest":"sha256:9dd59156ad9c07762fec57bd6050bbad79d5e28fefb601c92c4743e8815e7450","observation_id":"b95b4c64-53b9-48d0-a2b7-b8dc190246ed","resolution":{"observed_at":"2026-08-02T05:47:20.673751Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2507.09751/citation-record","integrity":"/paper/2507.09751/integrity","json":"/paper/2507.09751/citation-record.json","paper":"/paper/2507.09751"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:21.364434Z","title":"Prepared usingsagej.cls Allen, Chhikara et al.33","venue":null,"work_id":"2e27df1f-0922-4b10-a196-2706e36ec8e9","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:15.201553Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:80a32b71dd965f5839721b520ce1c088781312fb3f8f6e594396e781bb35f51c","observation_id":"7f5feea8-18d8-4ec8-b943-0228d11b09bb","resolution":{"observed_at":"2026-08-06T17:59:21.417127Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:20.982214Z","title":"Based on your analysis, determine whether the answer is verified and explain your reasoning with specific supporting evidence","venue":null,"work_id":"e2606d06-070a-4c70-8e92-b1d2ecab78e5","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:15.422614Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:41e436230033f7172ce87c6cf8d7b51fb8eef17183e0751d64b8c92bc9c9e40b","observation_id":"17830106-8de5-4ddb-a039-4552f43c5da8","resolution":{"observed_at":"2026-08-06T17:59:21.056199Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:20.095486Z","title":"Focus on building an affirmative case for why the answer is incorrect, rather than simply noting a lack of supporting evidence","venue":null,"work_id":"8f9212a6-033b-407d-83dd-54676e16cb33","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:15.691881Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:a28e14ee9b4b5811e88b85b08a0deb61ed7a55ddaa22da30d889a7b1bbceb6b5","observation_id":"fb799d02-4838-4024-9276-b6b951e13c6a","resolution":{"observed_at":"2026-08-06T17:59:20.195404Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:19.750616Z","title":"First man to walk on the Moon","venue":null,"work_id":"58fcf0f4-a1e7-4874-a9ee-551b17fa5e39","year":1969},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:15.994739Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:49925adb03c3401bc03b6beb7b3735d0a13ec17c401196e471c6f3127c470a5d","observation_id":"05a30a77-5f0e-4517-a9db-30ce0279a4d2","resolution":{"observed_at":"2026-08-06T17:59:19.812808Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:20.809908Z","title":null,"venue":null,"work_id":"1eec70de-61df-4df6-85a9-fcd4a2b51be2","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:15.998583Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:e2dc1ad3d5b3fe0b9445783f720ab5da775d909bf50133dde2c48a4ff417d311","observation_id":"26f715ec-822c-4d15-bf30-0ac70eddfc5b","resolution":{"observed_at":"2026-08-06T17:59:20.911918Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:20.644918Z","title":null,"venue":null,"work_id":"822fe2eb-3bad-4dd9-b538-38f2e5aa2aaf","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:16.002246Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:22cf6fde159461285dd4fcb63ce019c779fad4089deae93b6b3de1f0124b5fb0","observation_id":"fe9a1d01-7d6c-4c49-b7d7-1fefb83795ff","resolution":{"observed_at":"2026-08-06T17:59:20.731563Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:19.603481Z","title":"Focus on building an affirmative case for why the answer is incorrect, rather than simply noting a lack of supporting evidence","venue":null,"work_id":"7338faa3-6ccb-414b-ac8c-9b86a59dfe4b","year":1969},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:16.267530Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:0e9b9783c042033d9ae056c5bedf95f5215bf3e63dbb6f2cb46173026adc7033","observation_id":"2ea136bc-c0b7-4b10-98b0-b6c3ed87b598","resolution":{"observed_at":"2026-08-06T17:59:19.674815Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:19.477239Z","title":null,"venue":null,"work_id":"9d8715dc-f3af-4399-9ae4-12bb0d07e7dc","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:16.345845Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:5d0c94cb1e47e7bec55957a0817774f57d89303e7ba73605f25d94359b88de78","observation_id":"dcc146e0-6e72-465e-9750-1d527de5e8c0","resolution":{"observed_at":"2026-08-06T17:59:19.537625Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:19.304697Z","title":null,"venue":null,"work_id":"8ecd73be-a28c-4b18-bd05-10518a0599c7","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:16.486827Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:3aa2430319a1ff8d35fb3403412a19884d51bede76f4768ac1f60e43fa00d173","observation_id":"c1818bd8-7da0-4549-8103-a1f78e661c11","resolution":{"observed_at":"2026-08-06T17:59:19.385313Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:19.184276Z","title":null,"venue":null,"work_id":"80e0921e-0bf7-4791-8a28-dd8360e10701","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:16.600252Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:0d83fc10e9300fbe7d126a41b0f3dc697d9294c7f340f843ee8dd801476ca2c4","observation_id":"60b027b5-d125-44e5-be96-c7ed7f6c32b0","resolution":{"observed_at":"2026-08-06T17:59:19.237818Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:19.007927Z","title":null,"venue":null,"work_id":"4c40d647-eee2-4590-bf2d-015e9a098626","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:16.679903Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:7bf7661006315dc78c3133b41b2f6dcfd51fa8cbeec4f08925e565f2907e9498","observation_id":"5384dcb7-69fa-4738-b12a-40673f8a7a6a","resolution":{"observed_at":"2026-08-06T17:59:19.088310Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:18.880404Z","title":"negative_answers","venue":null,"work_id":"63e848a8-8a97-476b-aebc-82464e85a8e6","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:16.777944Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:2c31ce477bc059f71492d2da89b9eb4263303cd5873c40bfbb5e9f706849eb31","observation_id":"2855b2f3-e421-40f3-81ef-e2485987e6f5","resolution":{"observed_at":"2026-08-06T17:59:18.933338Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:18.543215Z","title":null,"venue":null,"work_id":"91d81f06-3a72-4805-a811-bfbd97e60a58","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:17.704287Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:bbac9f5312734f522395e6f148685b1a20066fad2c2a3249230629d793abaeb8","observation_id":"59caaa8b-15d5-41e7-b903-01c4a4705203","resolution":{"observed_at":"2026-08-06T17:59:18.616400Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:21.503939Z","title":null,"venue":null,"work_id":"091a9494-14e6-449e-903c-4932a7cb74c7","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:17.806487Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:333a7f0c67e93c4697a673fef660f72827e162567346ac62586f86e6fed690c0","observation_id":"27162598-997b-463e-b4ca-d4e872071aac","resolution":{"observed_at":"2026-08-06T17:59:21.599203Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:19.901960Z","title":null,"venue":null,"work_id":"da08eac5-ec59-48ac-9436-d1b1f644cffb","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:17.902451Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:12217fe0ab19c7f31c463f1bef8ba43e5e895f4047f6625c171f37922af51759","observation_id":"824a6ddf-dcfe-4619-9693-43468319f188","resolution":{"observed_at":"2026-08-06T17:59:19.993920Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:21.226240Z","title":null,"venue":null,"work_id":"fe603fad-d722-4e3c-bbc5-58334bc4653b","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:17.964005Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:b2cd5dda9fd3d5b409e6fe6d14485e22ba8134f065122dc61d278858b3f46b41","observation_id":"f41cb00b-fed1-4ca5-9ff3-0454d208e9f2","resolution":{"observed_at":"2026-08-06T17:59:21.286421Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:21.098533Z","title":null,"venue":null,"work_id":"ad890e0e-57d2-4327-b80d-252a7f633d92","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:18.026712Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:9c054d189e4578391f93e27c53bbe333117dcd6e8d24e831538770e6709f44ca","observation_id":"b20cbfc7-585a-445d-a268-147a79814cab","resolution":{"observed_at":"2026-08-06T17:59:21.152472Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:18.703076Z","title":null,"venue":null,"work_id":"17323fa5-d9fe-4d45-8d6c-0404e6f473ea","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:18.067009Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:2079459767e8ec0f0ab0d210c604da3f9091dfd2d98a592cae2d97f473e135ec","observation_id":"aaf5ae13-2bf7-4a13-96f5-9b710f8edb62","resolution":{"observed_at":"2026-08-06T17:59:18.797275Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:20.478245Z","title":null,"venue":null,"work_id":"5ed9494a-40e3-45dd-a59a-6be715483266","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:18.131796Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:0e59cde98e14dbc9d08d791ecc70dbdd483ac182b5664b3e3b7e314568f3449c","observation_id":"83dc307b-89cf-4f61-a5cc-dd98b4919122","resolution":{"observed_at":"2026-08-06T17:59:20.562361Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:20.307470Z","title":null,"venue":null,"work_id":"692a6ace-ead3-46d8-9302-f55beb262f78","year":null},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:18.230720Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:5f71f2928b50a4d118ac0f04b8ad0055bc2c1b9278c68f6d630aa91149b995f3","observation_id":"8479954a-e8bd-4df9-8557-ba83ea6abaff","resolution":{"observed_at":"2026-08-06T17:59:20.402142Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:59:18.406093Z","title":"Who was the first man to walk on the Moon?","venue":null,"work_id":"d19ff2ec-8621-4314-859f-0baf28108de8","year":2024},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:18.294930Z"},"links":{"citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:b008d7ac67b67c559e740b6105ec506298f3dabd28494d907420ed8033612026","observation_id":"8283983d-75ed-4ba0-8a60-d1ee7770dd68","resolution":{"observed_at":"2026-08-06T17:59:18.472979Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":"2312.10997","last_updated":"2024-03-27T09:16:57Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-12-18T07:47:33Z","title":"Retrieval-Augmented Generation for Large Language Models: A Survey","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.10997","snapshot_observed_at":"2026-08-06T17:59:15.063347Z","title":"4026–4042","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","version":3},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T17:59:15.063347Z"},"links":{"cited_paper":"/paper/2312.10997","citing_paper":"/paper/2507.09751"},"observation_digest":"sha256:3070fd1ff7d19891f00a6c650b8ef94fd3c0547972b19580c18088111efff417","observation_id":"10be0975-26f4-469d-81f7-832814bd0b2c","resolution":{"observed_at":"2026-08-06T17:59:15.063347Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.09751","last_updated":"2026-06-07T00:16:50Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-06T17:46:00.157102Z","submitted_at":"2025-07-13T19:05:43Z","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":15,"verified_exact":0,"verified_fuzzy":6},"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 1 inbound Pith citation observation for arXiv:2507.09751."}