{"as_of":"2026-08-08T07:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7f457538f57e1d6d25b380eac4d085682a093de7ad91f16747d6f5b62f2a55d9","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":12,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T23:19:36.744595Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-21T08:14:03.200769Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-08-07T23:19:36.744595Z","title":"arXiv preprint arXiv:2405.18357","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.08904","last_updated":"2025-02-27T01:49:15Z","snapshot_observed_at":"2026-08-07T23:14:06.470031Z","submitted_at":"2025-02-13T02:40:33Z","title":"MIH-TCCT: Mitigating Inconsistent Hallucinations in LLMs via Event-Driven Text-Code Cyclic Training","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T23:19:36.744595Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2502.08904"},"observation_digest":"sha256:e60c9a4b1f31f7ba49ec74bf1a33ffb32ad0de5176d25394f012e98d685aa8ea","observation_id":"afbcf2b3-a587-40e6-8cb7-4adc75c1018a","resolution":{"observed_at":"2026-08-07T23:19:36.744595Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-08-07T15:15:42.158555Z","title":"You must determine whether a rationale faithfully justifies the truth value of a conclusion given a set of premises.\\n\\n","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15817","last_updated":"2025-06-09T21:22:15Z","snapshot_observed_at":"2026-08-07T23:33:11.410147Z","submitted_at":"2025-05-21T17:59:54Z","title":"Learning to Reason via Mixture-of-Thought for Logical Reasoning","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T15:15:42.158555Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2505.15817"},"observation_digest":"sha256:2178298178bd39cc04b61cf1f609dde485e9a38d98c42ebb496620eec7fcb91f","observation_id":"d043562d-0d46-467d-8898-297c68c315ca","resolution":{"observed_at":"2026-08-07T15:15:42.158555Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-08-07T11:02:02.370781Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.03673","last_updated":"2025-06-04T08:03:17Z","snapshot_observed_at":"2026-08-07T10:55:25.678611Z","submitted_at":"2025-06-04T08:03:17Z","title":"Reason from Future: Reverse Thought Chain Enhances LLM Reasoning","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T11:02:02.370781Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2506.03673"},"observation_digest":"sha256:0a03c7746d9649818e4237fa6ad458a0d6448776cabfaebf1e432a220dcef314","observation_id":"8c010963-5a58-41d3-b993-684c0ff479a2","resolution":{"observed_at":"2026-08-07T11:02:02.370781Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-08-07T04:28:47.609701Z","title":"Faithful logical reasoning via symbolic chain-of-thought","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10527","last_updated":"2025-06-12T09:47:02Z","snapshot_observed_at":"2026-08-07T04:21:30.224722Z","submitted_at":"2025-06-12T09:47:02Z","title":"LogiPlan: A Structured Benchmark for Logical Planning and Relational Reasoning in LLMs","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T04:28:47.609701Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2506.10527"},"observation_digest":"sha256:d55247fe1df8d7bc0c145e769d855d06549695a9d4d0012539d5b43dc751a14a","observation_id":"4979fd67-1488-487f-acdc-b9661780569c","resolution":{"observed_at":"2026-08-07T04:28:47.609701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-08-06T10:19:41.577595Z","title":"arXiv preprint arXiv:2405.18357","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.02721","last_updated":"2026-06-16T13:13:05Z","snapshot_observed_at":"2026-08-07T07:21:40.052534Z","submitted_at":"2025-08-01T03:10:00Z","title":"Blueprint First, Model Second: A Framework for Deterministic LLM Workflow","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T10:19:41.577595Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2508.02721"},"observation_digest":"sha256:7528ec760eae5504dd2d1dd1057b7794a9dbdb1b1eb9b69347df8dff2730e932","observation_id":"4e3a5f9f-22cb-40f2-a030-ca37651358f2","resolution":{"observed_at":"2026-08-06T10:19:41.577595Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-08-05T15:38:55.225864Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.19689","last_updated":"2025-08-27T08:52:47Z","snapshot_observed_at":"2026-08-07T07:48:25.655053Z","submitted_at":"2025-08-27T08:52:47Z","title":"Building Task Bots with Self-learning for Enhanced Adaptability, Extensibility, and Factuality","version":1},"reference_index":202,"source":"arxiv_source","source_observed_at":"2026-08-05T15:38:55.225864Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2508.19689"},"observation_digest":"sha256:5d8cf5bf3a6d4d3f4ba3a0559675a4232f0fdcd3408238bff2921eb541671d2b","observation_id":"0ec033b5-df1f-417a-ba63-3c714fc73874","resolution":{"observed_at":"2026-08-05T15:38:55.225864Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-08-04T18:28:37.518345Z","title":"Faithful logical reasoning via symbolic chain-of-thought,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.09960","last_updated":"2026-06-25T13:10:45Z","snapshot_observed_at":"2026-08-07T05:03:51.320604Z","submitted_at":"2025-09-12T04:34:46Z","title":"Limited Reference, Reliable Generation: A Two-Component Framework for Tabular Data Generation in Low-Data Regimes","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:37.518345Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2509.09960"},"observation_digest":"sha256:997693f81f61d25b9843af61a75a0d08773c1bcbce6863faa49dbe42ed381c77","observation_id":"f2b06246-6a8a-4138-9808-b676cb8c1ee7","resolution":{"observed_at":"2026-08-04T18:28:37.518345Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":"2405.18357","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2405.18357 (2024)","venue":null,"work_id":"d655896b-477b-4b83-b738-e4824a3e42b4","year":2024},"citing_paper":{"arxiv_id":"2509.24765","last_updated":"2026-04-22T06:35:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-09-29T13:31:22Z","title":"Semantic-Aware Logical Reasoning via a Semiotic Framework","version":8},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-05-18T12:57:45.584017Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2509.24765"},"observation_digest":"sha256:5b5ad3f6c54f6b0b27296f92ea96703cc38ee60c554a670e1cd356e8b7993f74","observation_id":"3d9514d5-2887-4ff4-9e56-390dd2f0d91b","resolution":{"observed_at":"2026-05-18T13:01:23.937508Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":"2405.18357","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2405.18357 (2024)","venue":null,"work_id":"d655896b-477b-4b83-b738-e4824a3e42b4","year":2024},"citing_paper":{"arxiv_id":"2604.24341","last_updated":"2026-04-27T11:34:21Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2026-04-27T11:34:21Z","title":"GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-08T02:48:10.482495Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2604.24341"},"observation_digest":"sha256:8da8c0078ded87523e9f1c614b965610c005d7a3858d23533302b6a8cf951088","observation_id":"3166d65a-7429-4eb7-a4ed-ed87030c2b93","resolution":{"observed_at":"2026-05-11T22:26:13.720078Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":"2405.18357","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2405.18357 (2024)","venue":null,"work_id":"d655896b-477b-4b83-b738-e4824a3e42b4","year":2024},"citing_paper":{"arxiv_id":"2605.09271","last_updated":"2026-05-10T02:42:29Z","snapshot_observed_at":"2026-07-06T23:21:26.017420Z","submitted_at":"2026-05-10T02:42:29Z","title":"Shaping Schema via Language Representation as the Next Frontier for LLM Intelligence Expanding","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-05-12T05:01:38.118237Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2605.09271"},"observation_digest":"sha256:960964cf70cdce56e49bcf771d4eef910aead3dd5dde7f3022524f9f6274d36a","observation_id":"cb18f925-9914-4acc-a6f0-d7adbaf14b2b","resolution":{"observed_at":"2026-05-12T05:41:27.118948Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":"2405.18357","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2405.18357 (2024)","venue":null,"work_id":"d655896b-477b-4b83-b738-e4824a3e42b4","year":2024},"citing_paper":{"arxiv_id":"2605.14053","last_updated":"2026-05-13T19:20:16Z","snapshot_observed_at":"2026-08-02T02:39:42.210335Z","submitted_at":"2026-05-13T19:20:16Z","title":"Derivation Prompting: A Logic-Based Method for Improving Retrieval-Augmented Generation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-15T05:30:19.835419Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2605.14053"},"observation_digest":"sha256:a71b88431a0c5fe72a97f24dd229e370f3b4b753cff4acaa39be9fac91901bc0","observation_id":"24ce6115-3d2f-41d1-a4f9-fd79bbae12df","resolution":{"observed_at":"2026-05-15T05:35:04.537066Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":"2405.18357","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2405.18357 (2024)","venue":null,"work_id":"d655896b-477b-4b83-b738-e4824a3e42b4","year":2024},"citing_paper":{"arxiv_id":"2605.20254","last_updated":"2026-05-18T12:00:24Z","snapshot_observed_at":"2026-08-02T17:41:20.933394Z","submitted_at":"2026-05-18T12:00:24Z","title":"Efficient Table QA via TableGrid Navigation and Progressive Inference Prompting","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-21T08:13:40.115115Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2605.20254"},"observation_digest":"sha256:3e0524e674ea96065d05f1090bed939a7a29804570bef5b74e05aadac2fa047a","observation_id":"e2da844d-17a6-4488-86c8-eac1ad167fe5","resolution":{"observed_at":"2026-05-21T08:14:03.202143Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2405.18357/citation-record","integrity":"/paper/2405.18357/integrity","json":"/paper/2405.18357/citation-record.json","paper":"/paper/2405.18357"},"outbound":[],"paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-07-06T18:21:26.195207Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 12 inbound Pith citation observations for arXiv:2405.18357."}