{"as_of":"2026-08-07T10:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5353f7a9139da430afaa15bd28babf871b1fc81b447ed0522027a3d276d0dbc5","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":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":25,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:55:42.284502Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":7,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":"2305.12295","doi":"10.48550/arxiv.2305.12295","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic-LM: Empowering Large Language Models With Symbolic Solvers for Faithful Logical Reasoning","venue":"arXiv (Cornell University)","work_id":"e78b92cd-a9ba-4817-9747-a13f0a2733d4","year":2023},"citing_paper":{"arxiv_id":"2506.08332","last_updated":"2026-04-30T06:20:26Z","snapshot_observed_at":"2026-08-02T22:07:20.239746Z","submitted_at":"2025-06-10T01:38:57Z","title":"ORFS-agent: Tool-Using Agents for Chip Design Optimization","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-19T11:23:29.010807Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2506.08332"},"observation_digest":"sha256:36bbe6e2edd69e8ccd6931ac8f761c8754d3c66089ff17e8a3bd495df557d9c6","observation_id":"399a9281-5066-4780-a858-9d62920a3259","resolution":{"observed_at":"2026-05-19T11:27:16.038681Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-07T04:55:42.284502Z","title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.09433","last_updated":"2025-06-11T06:30:28Z","snapshot_observed_at":"2026-08-07T04:45:54.437993Z","submitted_at":"2025-06-11T06:30:28Z","title":"Mitigating Spurious Correlations in LLMs via Causality-Aware Post-Training","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T04:55:42.284502Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2506.09433"},"observation_digest":"sha256:9816092caea7bdb90c25f1210615abef904b5ad47c458ad86f46629523b1b73e","observation_id":"36030903-62ee-480d-a24d-521272b167a5","resolution":{"observed_at":"2026-08-07T04:55:42.284502Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-07T04:53:43.487935Z","title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11141","last_updated":"2025-06-11T02:39:08Z","snapshot_observed_at":"2026-08-07T04:48:18.786170Z","submitted_at":"2025-06-11T02:39:08Z","title":"From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T04:53:43.487935Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2506.11141"},"observation_digest":"sha256:1a1acf035e5d902bd172a869e1c2b3533903047b041abcd08bca50726cccf61d","observation_id":"beb63caa-ce67-4e6e-ad26-f5af4ee87a93","resolution":{"observed_at":"2026-08-07T04:53:43.487935Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-06T22:58:09.398339Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.20353","last_updated":"2025-06-25T12:04:53Z","snapshot_observed_at":"2026-08-06T22:48:03.728468Z","submitted_at":"2025-06-25T12:04:53Z","title":"DipSVD: Dual-importance Protected SVD for Efficient LLM Compression","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T22:58:09.398339Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2506.20353"},"observation_digest":"sha256:17794c7739d444d7d3d62c15b811c9f0ec692f791f3dd716dd8d4a1da3f304ad","observation_id":"efca936b-7996-4a94-ae34-160008f0d7a2","resolution":{"observed_at":"2026-08-06T22:58:09.398339Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-06T19:56:41.105915Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.04185","last_updated":"2025-07-05T23:36:05Z","snapshot_observed_at":"2026-08-07T06:31:03.379056Z","submitted_at":"2025-07-05T23:36:05Z","title":"From Legal Text to Tech Specs: Generative AI's Interpretation of Consent in Privacy Law","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T19:56:41.105915Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2507.04185"},"observation_digest":"sha256:64848d353641c512554954f28437023be2a261792540f877d27661ea29b3a094","observation_id":"591f1166-531e-4e12-a0a5-c7c7ed1f2d9b","resolution":{"observed_at":"2026-08-06T19:56:41.105915Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-06T19:05:02.548607Z","title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.08034","last_updated":"2025-07-09T04:09:59Z","snapshot_observed_at":"2026-08-06T18:58:58.105292Z","submitted_at":"2025-07-09T04:09:59Z","title":"Integrating External Tools with Large Language Models to Improve Accuracy","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T19:05:02.548607Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2507.08034"},"observation_digest":"sha256:69361881b37096be259fd87ee0107ec136508acbfa498446b3139c4c2628be09","observation_id":"2aae2ec5-df0f-48e4-9102-e11e01bcec42","resolution":{"observed_at":"2026-08-06T19:05:02.548607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-06T15:50:51.197770Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14849","last_updated":"2025-07-20T07:43:16Z","snapshot_observed_at":"2026-08-06T15:43:47.733054Z","submitted_at":"2025-07-20T07:43:16Z","title":"Beyond Isolated Capabilities: Bridging Long CoT Reasoning and Long-Context Understanding","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T15:50:51.197770Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2507.14849"},"observation_digest":"sha256:1ad5bccf8f563c21a489a46593c2c1e61bbff601d87602ba961e0c0ba49b3bb3","observation_id":"e78e6b8f-fd5a-44c5-bc81-f07f93c39478","resolution":{"observed_at":"2026-08-06T15:50:51.197770Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-06T14:58:26.406230Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.17249","last_updated":"2025-08-11T02:53:22Z","snapshot_observed_at":"2026-08-06T17:27:04.264410Z","submitted_at":"2025-07-23T06:36:49Z","title":"R4ec: A Reasoning, Reflection, and Refinement Framework for Recommendation Systems","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T14:58:26.406230Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2507.17249"},"observation_digest":"sha256:dff0968cc9017cc4c974be258aa1e8e36139742274115c3ea234755523c616ce","observation_id":"521c1797-7c53-4feb-b9b6-8ca5cbd30f3a","resolution":{"observed_at":"2026-08-06T14:58:26.406230Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-06T15:33:30.736315Z","title":"Logic-lm: Empowering large lan- guage models with symbolic solvers for logical reasoning","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.736315Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:4996ee2802c0cc3692d878539b34baa593b052c485fea14f45cb7caef4dabe3d","observation_id":"9c82c850-dc4a-4eed-b7c4-a33328f3eecf","resolution":{"observed_at":"2026-08-06T15:33:30.736315Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T12:56:33.038472Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.01129","last_updated":"2025-09-01T04:47:51Z","snapshot_observed_at":"2026-08-05T12:56:31.382024Z","submitted_at":"2025-09-01T04:47:51Z","title":"Beyond the Surface: A Solution-Aware Retrieval Model for Competition-level Code Generation","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-05T12:56:33.038472Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2509.01129"},"observation_digest":"sha256:a65c3c5cb030f18196468edce466563cb115757b8a23d436f7eba317e3daeb0e","observation_id":"1460bfc4-a498-4ffa-9ffe-5eff8e4a1d4c","resolution":{"observed_at":"2026-08-05T12:56:33.038472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T12:28:04.507275Z","title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.01619","last_updated":"2025-09-01T16:56:16Z","snapshot_observed_at":"2026-08-05T12:28:01.184798Z","submitted_at":"2025-09-01T16:56:16Z","title":"Throttling Web Agents Using Reasoning Gates","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-05T12:28:04.507275Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2509.01619"},"observation_digest":"sha256:47a5318e2c733f4249b090ff4b47700bb7a6480d1f371d4d5c40edc7cababc56","observation_id":"51e80c11-e038-4c17-b879-15a02ae88354","resolution":{"observed_at":"2026-08-05T12:28:04.507275Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-04T23:56:34.889878Z","title":"Linzhuang Sun, Hao Liang, Jingxuan Wei, Bihui Yu, Conghui He, Zenan Zhou, and Wentao Zhang","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06284","last_updated":"2025-09-08T02:11:49Z","snapshot_observed_at":"2026-08-04T23:56:34.523852Z","submitted_at":"2025-09-08T02:11:49Z","title":"From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T23:56:34.889878Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2509.06284"},"observation_digest":"sha256:85767ed69d90970ab24fc081879df398453d91c9d1dca6dca31cfe9a7ab37ed7","observation_id":"532a7a83-8582-48f3-abb6-eae8bd688b7c","resolution":{"observed_at":"2026-08-04T23:56:34.889878Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":"2305.12295","doi":"10.48550/arxiv.2305.12295","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic-LM: Empowering Large Language Models With Symbolic Solvers for Faithful Logical Reasoning","venue":"arXiv (Cornell University)","work_id":"e78b92cd-a9ba-4817-9747-a13f0a2733d4","year":2023},"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":27,"source":"arxiv_source","source_observed_at":"2026-05-18T12:57:45.584017Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2509.24765"},"observation_digest":"sha256:6e4236394701336732c6b0d4c9cae7577dd1d789583118e9e88c5beb4632847c","observation_id":"04a2d3e3-f656-4f71-acbc-e94e3bc7b019","resolution":{"observed_at":"2026-05-18T13:01:23.904534Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":"2305.12295","doi":"10.48550/arxiv.2305.12295","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic-LM: Empowering Large Language Models With Symbolic Solvers for Faithful Logical Reasoning","venue":"arXiv (Cornell University)","work_id":"e78b92cd-a9ba-4817-9747-a13f0a2733d4","year":2023},"citing_paper":{"arxiv_id":"2511.01423","last_updated":"2025-11-03T10:19:52Z","snapshot_observed_at":"2026-07-29T19:10:23.012156Z","submitted_at":"2025-11-03T10:19:52Z","title":"LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-18T01:56:50.023943Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2511.01423"},"observation_digest":"sha256:c43f56ab0464232f52e96dad5d4c01d2146139c1d969df8bc448761a9ac1cf23","observation_id":"abcb1a15-4888-4094-a1bc-44b6651f736d","resolution":{"observed_at":"2026-05-18T02:00:38.471090Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":"2305.12295","doi":"10.48550/arxiv.2305.12295","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic-LM: Empowering Large Language Models With Symbolic Solvers for Faithful Logical Reasoning","venue":"arXiv (Cornell University)","work_id":"e78b92cd-a9ba-4817-9747-a13f0a2733d4","year":2023},"citing_paper":{"arxiv_id":"2601.20055","last_updated":"2026-05-02T03:45:31Z","snapshot_observed_at":"2026-07-06T22:43:12.468415Z","submitted_at":"2026-01-27T20:59:11Z","title":"VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-16T10:20:43.601411Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2601.20055"},"observation_digest":"sha256:cbd516a08167582c63f362ce3bb8db23925acf0b4917ced9b8338bb4b8d2a47e","observation_id":"132dfeb9-69fe-4ade-a705-1e26e229f018","resolution":{"observed_at":"2026-05-16T10:20:49.936365Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":"2305.12295","doi":"10.48550/arxiv.2305.12295","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic-LM: Empowering Large Language Models With Symbolic Solvers for Faithful Logical Reasoning","venue":"arXiv (Cornell University)","work_id":"e78b92cd-a9ba-4817-9747-a13f0a2733d4","year":2023},"citing_paper":{"arxiv_id":"2604.09712","last_updated":"2026-04-08T06:28:03Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2026-04-08T06:28:03Z","title":"LAST: Leveraging Tools as Hints to Enhance Spatial Reasoning for Multimodal Large Language Models","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-10T19:26:23.660206Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2604.09712"},"observation_digest":"sha256:258b72e3955ad3d342ddc81b128285bde170d79847b29957e4c1f05b48e57f86","observation_id":"2593c52c-99ca-4d05-8e58-d6f9a62a7393","resolution":{"observed_at":"2026-05-10T23:00:47.733310Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":"2305.12295","doi":"10.48550/arxiv.2305.12295","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic-LM: Empowering Large Language Models With Symbolic Solvers for Faithful Logical Reasoning","venue":"arXiv (Cornell University)","work_id":"e78b92cd-a9ba-4817-9747-a13f0a2733d4","year":2023},"citing_paper":{"arxiv_id":"2604.10341","last_updated":"2026-04-11T19:59:02Z","snapshot_observed_at":"2026-07-06T22:59:01.129724Z","submitted_at":"2026-04-11T19:59:02Z","title":"VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T15:27:41.993499Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2604.10341"},"observation_digest":"sha256:373c527c8510a1789c5204fbaaf2029fd5925d695d6d214b7cad321dce7cc362","observation_id":"6d6fdff5-98d6-48ef-a483-7dae4bf5cbe0","resolution":{"observed_at":"2026-05-11T10:31:01.299222Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":"2305.12295","doi":"10.48550/arxiv.2305.12295","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic-LM: Empowering Large Language Models With Symbolic Solvers for Faithful Logical Reasoning","venue":"arXiv (Cornell University)","work_id":"e78b92cd-a9ba-4817-9747-a13f0a2733d4","year":2023},"citing_paper":{"arxiv_id":"2604.15726","last_updated":"2026-04-17T05:59:08Z","snapshot_observed_at":"2026-08-01T01:44:21.919940Z","submitted_at":"2026-04-17T05:59:08Z","title":"LLM Reasoning Is Latent, Not the Chain of Thought","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T08:49:05.178087Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2604.15726"},"observation_digest":"sha256:e0f58e00c464829299b476f3f388de299850aee3e0609288a2c447590797729b","observation_id":"4ba27694-447d-425d-a2dd-41af68703675","resolution":{"observed_at":"2026-05-10T08:53:04.715478Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":"2305.12295","doi":"10.48550/arxiv.2305.12295","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic-LM: Empowering Large Language Models With Symbolic Solvers for Faithful Logical Reasoning","venue":"arXiv (Cornell University)","work_id":"e78b92cd-a9ba-4817-9747-a13f0a2733d4","year":2023},"citing_paper":{"arxiv_id":"2604.18873","last_updated":"2026-04-20T21:53:11Z","snapshot_observed_at":"2026-08-03T18:32:08.065686Z","submitted_at":"2026-04-20T21:53:11Z","title":"From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T04:08:38.327402Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2604.18873"},"observation_digest":"sha256:64e02d9d599acb566accb66b0759f4882c4b6d383a771274276f88437cd953bf","observation_id":"25bc98b3-cc0f-40cc-8ad3-f69aa0b53d1b","resolution":{"observed_at":"2026-05-11T12:06:05.008200Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":"2305.12295","doi":"10.48550/arxiv.2305.12295","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic-LM: Empowering Large Language Models With Symbolic Solvers for Faithful Logical Reasoning","venue":"arXiv (Cornell University)","work_id":"e78b92cd-a9ba-4817-9747-a13f0a2733d4","year":2023},"citing_paper":{"arxiv_id":"2605.04313","last_updated":"2026-05-05T21:26:01Z","snapshot_observed_at":"2026-07-06T23:17:04.200299Z","submitted_at":"2026-05-05T21:26:01Z","title":"NoisyCausal: A Benchmark for Evaluating Causal Reasoning Under Structured Noise","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-08T16:54:17.663989Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2605.04313"},"observation_digest":"sha256:b83b1220ee95e6280ebdfe7a3aca6244f68e3b1a0c36a8a8c303907afe2536b5","observation_id":"cd840e3f-15e3-4f10-b97c-6980fd262956","resolution":{"observed_at":"2026-05-11T17:56:07.199741Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":"2305.12295","doi":"10.48550/arxiv.2305.12295","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic-LM: Empowering Large Language Models With Symbolic Solvers for Faithful Logical Reasoning","venue":"arXiv (Cornell University)","work_id":"e78b92cd-a9ba-4817-9747-a13f0a2733d4","year":2023},"citing_paper":{"arxiv_id":"2605.09675","last_updated":"2026-05-10T17:45:01Z","snapshot_observed_at":"2026-07-06T23:21:44.900680Z","submitted_at":"2026-05-10T17:45:01Z","title":"CodeClinic: Evaluating Automation of Coding Skills for Clinical Reasoning Agents","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-05-12T02:17:41.650948Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2605.09675"},"observation_digest":"sha256:4593c8adf64596a8fcdda288283648013e58e4d6706b4caa5fdf02925f742b28","observation_id":"d346097c-3317-4549-bd2d-80a2a9d1715f","resolution":{"observed_at":"2026-05-12T07:41:46.209339Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-01T15:40:36.356091Z","title":"Logic-LM: Empowering large language models with symbolic solvers for faithful logical reasoning.arXiv preprint arXiv:2305.12295, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.18228","last_updated":"2026-07-20T17:58:05Z","snapshot_observed_at":"2026-08-01T15:40:34.037153Z","submitted_at":"2026-07-20T17:58:05Z","title":"Logical Judgments Under Pressure: Diagnosing Syllogistic Stability with Learned Soft Prefixes","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T15:40:36.356091Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2607.18228"},"observation_digest":"sha256:63c0f351339fde2a4ef2227de5af0a8c2438361be00b9e9e460797ea64e3af01","observation_id":"d9692fc1-02e5-4c21-8add-1c4365148bd4","resolution":{"observed_at":"2026-08-01T15:40:36.356091Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-01T08:36:29.810585Z","title":"arXiv preprint arXiv:2305.12295 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.21090","last_updated":"2026-07-23T09:20:38Z","snapshot_observed_at":"2026-08-06T22:04:57.750051Z","submitted_at":"2026-07-23T09:20:38Z","title":"Training Large Language Models for Self-Explanation Faithfulness","version":1},"reference_index":136,"source":"arxiv_source","source_observed_at":"2026-08-01T08:36:29.810585Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2607.21090"},"observation_digest":"sha256:aef970b0bebde93d803ccbb6a37126fc89c3670e49f8b6821596a201c1666017","observation_id":"102e3e67-6bcd-419a-aad1-ab70891e1ef6","resolution":{"observed_at":"2026-08-01T08:36:29.810585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-07-30T23:41:20.535489Z","title":"Logic-LM: Empowering large language models with symbolic solvers for faithful logical reasoning","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23386","last_updated":"2026-07-25T22:40:02Z","snapshot_observed_at":"2026-08-01T23:27:14.965982Z","submitted_at":"2026-07-25T22:40:02Z","title":"Confidently Wrong: Exception Chain Collapse in Frontier LLM Rule Evaluation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-30T23:41:20.535489Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2607.23386"},"observation_digest":"sha256:a938bff51f2d9709ba30c7aae11d41b230ac68fe0945cc62f11bdf5086b55671","observation_id":"f70611ae-384b-4130-bd4d-001d53695152","resolution":{"observed_at":"2026-07-30T23:41:20.535489Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-07-30T16:01:42.518723Z","title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26952","last_updated":"2026-07-29T14:20:13Z","snapshot_observed_at":"2026-08-06T11:22:42.288682Z","submitted_at":"2026-07-29T14:20:13Z","title":"Credit Cards, Confusion, Computation, and Consequences: What Can We Uncover About Language Model Reasoning?","version":1},"reference_index":171,"source":"arxiv_source","source_observed_at":"2026-07-30T16:01:42.518723Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2607.26952"},"observation_digest":"sha256:aedead452c10093a2056015b6f1d6673495e6ee8717520e237452ff022b3198d","observation_id":"4825c95e-1578-4122-850c-14ffbe4df3b6","resolution":{"observed_at":"2026-07-30T16:01:42.518723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2305.12295/citation-record","integrity":"/paper/2305.12295/integrity","json":"/paper/2305.12295/citation-record.json","paper":"/paper/2305.12295"},"outbound":[],"paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-07-06T15:30:09.490978Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 25 inbound Pith citation observations for arXiv:2305.12295."}