{"as_of":"2026-08-08T05:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d4ce78137fff7b758668ea66e6cd876b00c06cf78735769132f914c1cea1368b","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T13:05:34.208531Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.00971/citation-record","integrity":"/paper/2509.00971/integrity","json":"/paper/2509.00971/citation-record.json","paper":"/paper/2509.00971"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2503.08679","last_updated":"2026-06-16T17:36:22Z","snapshot_observed_at":"2026-08-07T17:12:11.913580Z","submitted_at":"2025-03-11T17:56:30Z","title":"Chain-of-Thought Reasoning In The Wild Is Not Always Faithful","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.08679","snapshot_observed_at":"2026-08-05T13:05:31.857966Z","title":"Chain-of-Thought Reasoning In The Wild Is Not Always Faithful","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:31.857966Z"},"links":{"cited_paper":"/paper/2503.08679","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:38e518092da162b46fa80df5bbe90ab50bdc0e3c7474ba1904a45e7e1f13f8a4","observation_id":"cdb19087-9a0a-42eb-939b-20c32f6f35da","resolution":{"observed_at":"2026-08-05T13:05:31.857966Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:37.057095Z","title":"Chain-of-Thought Is Not Explainability","venue":null,"work_id":"464f2ce1-f36f-4ef2-b05e-31d754f484b9","year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:31.925222Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:c27d8b619ae974e0696fe9f7c71023f39808b76f8b8f35054a82f4acfdb96425","observation_id":"732b88e5-3b10-478c-8ef4-38ed05dd1318","resolution":{"observed_at":"2026-08-05T13:05:37.124711Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"2201.10295","last_updated":"2022-05-10T21:43:22Z","snapshot_observed_at":"2026-08-06T09:37:04.673979Z","submitted_at":"2022-01-25T13:12:02Z","title":"Post-Hoc Explanations Fail to Achieve their Purpose in Adversarial Contexts","version":2},"cited_work":{"arxiv_id":"2201.10295","doi":null,"metadata_source":"pith","pith_arxiv_id":"2201.10295","snapshot_observed_at":"2026-08-05T13:05:35.564017Z","title":"Post-Hoc Explanations Fail to Achieve their Purpose in Adversarial Contexts","venue":"cs.LG","work_id":"79226796-fde9-4936-b4e1-6edbcdf9e076","year":2022},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:31.959824Z"},"links":{"cited_paper":"/paper/2201.10295","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:a8ee20053752d3810479a224aac538b0e922508a6446797f520f812a1b028b51","observation_id":"b5877844-f090-4f02-b312-9d303ad1c8a4","resolution":{"observed_at":"2026-08-05T13:05:35.633964Z","resolver_source":"local_arxiv","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:36.887500Z","title":null,"venue":null,"work_id":"b764f9e5-abca-4a9a-984b-ff30cf4f634b","year":null},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.014943Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:b13794570d687b4f2b5a124a375f280029e8c539081e081aaf251e52c41332ff","observation_id":"72fa721a-fcb5-451b-9442-5218e9fcf9d9","resolution":{"observed_at":"2026-08-05T13:05:36.973154Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:32.139870Z","title":"InternalBiasinReasoningModelsleadstoOverthinking","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.139870Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:462ee900659e9a076ec1a412be6cac71fd7a9be764c3962b29ebee380737a3c1","observation_id":"e48ef463-c9d7-4de3-9a08-6edc1864b999","resolution":{"observed_at":"2026-08-05T13:05:32.139870Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:36.723162Z","title":null,"venue":null,"work_id":"ae2590e2-a69d-43df-9fce-601fbdea6af4","year":1986},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.212408Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:523e6c297710f47a180d01a962e1c58ede7e1713132b3712cc7ef324b43150f3","observation_id":"be44d2a7-3d0e-4b97-9688-a1c1b3a362f1","resolution":{"observed_at":"2026-08-05T13:05:36.798156Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:32.242329Z","title":"Does Thinking More always Help? Understanding Test-Time Scaling in Reasoning Models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.242329Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:c4bb8240c0db177c485776d9d712ed844d86fb598455d755961ab85587394d4f","observation_id":"32564f31-6703-47ad-b771-0b98fbf2e55e","resolution":{"observed_at":"2026-08-05T13:05:32.242329Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.08876","last_updated":"2023-05-17T13:43:58Z","snapshot_observed_at":"2026-08-05T23:55:16.021053Z","submitted_at":"2023-05-12T19:51:13Z","title":"Neurosymbolic AI and its Taxonomy: a survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.08876","snapshot_observed_at":"2026-08-05T13:05:32.277886Z","title":"Neurosymbolic AI and its Taxonomy: a survey","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.277886Z"},"links":{"cited_paper":"/paper/2305.08876","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:e70d4064ed86d32fa93109c90b07069b19ffba86054a91b0fa491dcedcaec44b","observation_id":"f68711ec-f83c-45b2-963e-3e6d81b090bd","resolution":{"observed_at":"2026-08-05T13:05:32.277886Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.18213","last_updated":"2025-03-23T21:33:38Z","snapshot_observed_at":"2026-08-07T16:42:47.185529Z","submitted_at":"2025-03-23T21:33:38Z","title":"A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.18213","snapshot_observed_at":"2026-08-05T13:05:32.298220Z","title":"A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.298220Z"},"links":{"cited_paper":"/paper/2503.18213","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:306b376b8bab4867464c6108bb5285c601ceed2a143d2817489e511eb2f4a958","observation_id":"f801d82b-b2ca-41ed-9afe-57d26b63fecf","resolution":{"observed_at":"2026-08-05T13:05:32.298220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.07974","last_updated":"2024-06-06T17:41:21Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-03-12T17:58:04Z","title":"LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.07974","snapshot_observed_at":"2026-08-05T13:05:32.352185Z","title":"LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.352185Z"},"links":{"cited_paper":"/paper/2403.07974","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:74badf301e386484f06ffd641bbd38bf8acbee88c9e39833547558501489ba03","observation_id":"02cda741-fa07-4c46-ae56-5afbd8ab2e8a","resolution":{"observed_at":"2026-08-05T13:05:32.352185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06770","last_updated":"2024-11-11T23:05:04Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-10T16:47:29Z","title":"SWE-bench: Can Language Models Resolve Real-World GitHub Issues?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06770","snapshot_observed_at":"2026-08-05T13:05:32.414559Z","title":"SWE-bench: Can Language Models Resolve Real-World GitHub Issues?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.414559Z"},"links":{"cited_paper":"/paper/2310.06770","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:40d863484caf7fc307870a3305deea08f46028d79c213870ff2a4ce12da22041","observation_id":"33881f04-7844-4439-bc6e-d7e2039654cc","resolution":{"observed_at":"2026-08-05T13:05:32.414559Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:32.479542Z","title":"Grounding and Evaluation for Large Language Models: Practical Challenges and Lessons Learned (Survey)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.479542Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:c7bbff0716750ad59f79d6857007685c341e7f566ca6667b7cb25ed4cffe32d9","observation_id":"4f15fbfd-432d-4778-90e9-109dd03585ae","resolution":{"observed_at":"2026-08-05T13:05:32.479542Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.19250","last_updated":"2025-03-31T12:24:30Z","snapshot_observed_at":"2026-07-06T19:23:46.678016Z","submitted_at":"2024-09-28T05:48:51Z","title":"Fast and Accurate Task Planning using Neuro-Symbolic Language Models and Multi-level Goal Decomposition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.19250","snapshot_observed_at":"2026-08-05T13:05:32.500974Z","title":"Fast and Accurate Task Planning using Neuro-Symbolic Language Models and Multi-level Goal Decomposition","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.500974Z"},"links":{"cited_paper":"/paper/2409.19250","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:f1eb71ef123e7270bd3685cb48a841ee8992e84bbb2223e55430f9fb2e0e83d4","observation_id":"81c511d6-3b67-469f-aadc-7b7e1aaaea48","resolution":{"observed_at":"2026-08-05T13:05:32.500974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:36.577022Z","title":"AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI","venue":null,"work_id":"3dad8927-6c58-49de-ada6-cef102c9f7a5","year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.546682Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:c924994972555e2ea09994458311ddd969d46dcbefd0cf14dd43fa3e3395c6a5","observation_id":"e6de6464-a7c4-4e90-b159-6fdbf5fb0a95","resolution":{"observed_at":"2026-08-05T13:05:36.651786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s40860-024-00231-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:34.264497Z","title":"Surveying neuro-symbolic approaches for reliable artificial intelligence of things","venue":null,"work_id":"a4736ad3-c7e5-4f67-a39d-2c3330230d2d","year":2024},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.624448Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:9e97a3cb54e6fdcdea073e39d25c5c6203df96b796bb24d0378c8dfd92869cba","observation_id":"df2e7bfb-0643-4cf5-b204-1b4a0f32b68d","resolution":{"observed_at":"2026-08-05T13:05:34.287163Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:36.453339Z","title":"Meincke and H","venue":null,"work_id":"289c92f8-0402-460e-9a81-90024ef6fc05","year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.683570Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:ec995c7fd0a8c5fe2fbaa502201d3c8ec9514878247c2b74dfa62f5e89bc35d2","observation_id":"304256d9-1010-4e1f-85dc-599e2ac34929","resolution":{"observed_at":"2026-08-05T13:05:36.507185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"2410.05229","last_updated":"2025-08-27T16:24:39Z","snapshot_observed_at":"2026-07-06T19:29:09.714725Z","submitted_at":"2024-10-07T17:36:37Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05229","snapshot_observed_at":"2026-08-05T13:05:32.738010Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.738010Z"},"links":{"cited_paper":"/paper/2410.05229","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:034ec6865529b366d8da6e3ecc682e6c0415bc97b3b27ce644670e7d192adc52","observation_id":"4515cf15-dd97-4391-9f53-8eca5384fbea","resolution":{"observed_at":"2026-08-05T13:05:32.738010Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:36.280515Z","title":"A review of neuro-symbolic AI integrating reasoning and learning","venue":null,"work_id":"8d3d18e4-1cdb-416e-8d63-3959d12df67e","year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.785126Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:eaedad93cedde540cc25996313ba603212439b79b49f94b06bc777a7b03903f2","observation_id":"ff88d9d3-53b4-4a5e-94de-3536170faed5","resolution":{"observed_at":"2026-08-05T13:05:36.363150Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"2506.09250","last_updated":"2025-06-16T18:04:21Z","snapshot_observed_at":"2026-08-07T04:50:54.517927Z","submitted_at":"2025-06-10T21:16:53Z","title":"Comment on The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.09250","snapshot_observed_at":"2026-08-05T13:05:32.839266Z","title":"The Illusion of the Illusion of Thinking: A Comment on Shojaee et al","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.839266Z"},"links":{"cited_paper":"/paper/2506.09250","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:09919b5cd8b6d5685b3a27fb3c5d1e0d4955a661b8a29c8c46127f0ad00e4ab5","observation_id":"0e9c8d27-9ee0-4730-adbb-bffd67ec0f84","resolution":{"observed_at":"2026-08-05T13:05:32.839266Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.07495","last_updated":"2025-07-10T07:30:44Z","snapshot_observed_at":"2026-08-08T04:00:08.953988Z","submitted_at":"2025-07-10T07:30:44Z","title":"PLAN-TUNING: Post-Training Language Models to Learn Step-by-Step Planning for Complex Problem Solving","version":1},"cited_work":{"arxiv_id":"2507.07495","doi":null,"metadata_source":"pith","pith_arxiv_id":"2507.07495","snapshot_observed_at":"2026-08-05T13:05:35.116493Z","title":"PLAN-TUNING: Post-Training Language Models to Learn Step-by-Step Planning for Complex Problem Solving","venue":"cs.CL","work_id":"79033a9c-ccc8-4cbf-8ee9-91132beab53d","year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.930669Z"},"links":{"cited_paper":"/paper/2507.07495","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:d9645c9399ede824575c62e569c6f79af3fd5c1fab59f6d8f12678c9a3e39c66","observation_id":"a4e11405-bb00-457b-9ec1-99c6fcf25fd7","resolution":{"observed_at":"2026-08-05T13:05:35.179327Z","resolver_source":"local_arxiv","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:36.139929Z","title":"The Berkeley Function Calling Leaderboard (BFCL): From Tool Use to Agentic Evaluation of Large Language Models","venue":null,"work_id":"1e39d6b9-2107-43d1-95b8-6fdbb6b44e86","year":null},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.010938Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:88020b2de60bbdd61da27d298468ab601ffaf53155cc2339315c7d7c9234966c","observation_id":"b1778b23-5ce7-41e3-966f-7ba00be560a2","resolution":{"observed_at":"2026-08-05T13:05:36.220495Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"2507.23535","last_updated":"2025-07-31T13:22:14Z","snapshot_observed_at":"2026-08-08T04:43:39.572552Z","submitted_at":"2025-07-31T13:22:14Z","title":"Transparent AI: The Case for Interpretability and Explainability","version":1},"cited_work":{"arxiv_id":"2507.23535","doi":null,"metadata_source":"pith","pith_arxiv_id":"2507.23535","snapshot_observed_at":"2026-08-05T13:05:35.019258Z","title":"Transparent AI: The Case for Interpretability and Explainability","venue":"cs.LG","work_id":"77053e9e-0c74-4101-8ba8-0453b0354cd2","year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.225290Z"},"links":{"cited_paper":"/paper/2507.23535","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:cd54d455a6e2d2a6e5b1438802df15f6bd2e08698951c3bc84a3d52fab545bae","observation_id":"acc9d7b8-d6f1-49c1-8d49-78d4fdd6b2c2","resolution":{"observed_at":"2026-08-05T13:05:35.041276Z","resolver_source":"local_arxiv","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:35.940249Z","title":"Internal Study on Chain-of-Thought Faithfulness","venue":null,"work_id":"2792cdc1-657e-4f1a-b94a-a4a1cbc28dca","year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.272280Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:0f39972d65b84b05683688f011fbe473a2b562acae2de42c9b6f4f341be755b0","observation_id":"cf8d3e91-4503-40e8-804b-9f293deed37e","resolution":{"observed_at":"2026-08-05T13:05:35.989885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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.12167","last_updated":"2023-05-20T10:56:19Z","snapshot_observed_at":"2026-08-03T13:07:23.808707Z","submitted_at":"2023-05-20T10:56:19Z","title":"The Case Against Explainability","version":1},"cited_work":{"arxiv_id":"2305.12167","doi":null,"metadata_source":"pith","pith_arxiv_id":"2305.12167","snapshot_observed_at":"2026-08-05T13:05:34.824224Z","title":"The Case Against Explainability","venue":"cs.AI","work_id":"ea8a10a0-51a1-4db7-80e1-ec66d8944aaf","year":2023},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.288307Z"},"links":{"cited_paper":"/paper/2305.12167","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:5bf84bca1fee295434e771dd982d2f1025bdc17eb4b2fd2c83b1d6c3f37c191a","observation_id":"26707d3e-692b-4566-a88e-09632de787c9","resolution":{"observed_at":"2026-08-05T13:05:34.905224Z","resolver_source":"local_arxiv","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":"2506.06941","last_updated":"2025-11-20T00:19:24Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-06-07T22:42:29Z","title":"The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.06941","snapshot_observed_at":"2026-08-05T13:05:33.353251Z","title":"The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.353251Z"},"links":{"cited_paper":"/paper/2506.06941","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:806beee72f5b8567bb14235f6755037e82411e49e09422f1c6753bb5a96c53c2","observation_id":"903f13ea-87b0-4b0d-9473-f58b512f3217","resolution":{"observed_at":"2026-08-05T13:05:33.353251Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:35.821316Z","title":"Medical Visual Question Answering with Chain-of-Thought Explanations","venue":null,"work_id":"9c6adf12-67a7-4125-89fc-3405378c72c1","year":2024},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.427312Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:0fe03fa392030eb1225144df370b09188d3848f3a82192853e6689b8573bb009","observation_id":"9736c180-9106-47b0-8e4e-2f1903374105","resolution":{"observed_at":"2026-08-05T13:05:35.874903Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"2405.04776","last_updated":"2025-03-12T04:56:46Z","snapshot_observed_at":"2026-08-06T23:25:32.938166Z","submitted_at":"2024-05-08T02:48:28Z","title":"Chain of Thoughtlessness? An Analysis of CoT in Planning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.04776","snapshot_observed_at":"2026-08-05T13:05:33.501250Z","title":"Chain of Thoughtlessness? An Analysis of CoT in Planning","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.501250Z"},"links":{"cited_paper":"/paper/2405.04776","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:9fbb933c191329060863d86eda27b4b9bc4715c02ca32c1340f4a9b2b03585c5","observation_id":"7ef1440b-b096-4cb0-8489-383f9ede92f0","resolution":{"observed_at":"2026-08-05T13:05:33.501250Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.00127","last_updated":"2025-04-30T18:48:06Z","snapshot_observed_at":"2026-08-07T17:34:13.816265Z","submitted_at":"2025-04-30T18:48:06Z","title":"Between Underthinking and Overthinking: An Empirical Study of Reasoning Length and correctness in LLMs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.00127","snapshot_observed_at":"2026-08-05T13:05:33.533803Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.533803Z"},"links":{"cited_paper":"/paper/2505.00127","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:76fcfb56735cc338212f5de82458b7491b1ee67392f8a75aae16aed6932f6ec1","observation_id":"fc721893-b3ed-4f92-8901-87e9f358da1a","resolution":{"observed_at":"2026-08-05T13:05:33.533803Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:35.737419Z","title":"Evals: An Extensible Framework for Evaluating Large Language Models","venue":null,"work_id":"662d6c53-75aa-42be-a5cd-1b083bd0c435","year":2024},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.598755Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:fa5b1d2410fa63eeb4db5e6d19ef3469b827ba07d9a6032e5b7bfeb4b988f3e6","observation_id":"28741b09-a51d-4931-97e5-b17f1e881257","resolution":{"observed_at":"2026-08-05T13:05:35.763718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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.04388","last_updated":"2023-12-09T21:25:02Z","snapshot_observed_at":"2026-08-02T07:12:38.105035Z","submitted_at":"2023-05-07T22:44:25Z","title":"Language Models Don't Always Say What They Think: Unfaithful Explanations in Chain-of-Thought Prompting","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.04388","snapshot_observed_at":"2026-08-05T13:05:33.670993Z","title":"Language Models Don’t Always Say What They Think: Unfaithful Explanations in Chain-of-Thought Prompting","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.670993Z"},"links":{"cited_paper":"/paper/2305.04388","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:550593500c558c24cd7e091710c710c0484f520bf8606b5c1adfb007284abecc","observation_id":"3712911a-c282-4c45-8e02-f57f4eec3d21","resolution":{"observed_at":"2026-08-05T13:05:33.670993Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.13373","last_updated":"2024-09-20T10:20:46Z","snapshot_observed_at":"2026-07-06T19:18:41.002837Z","submitted_at":"2024-09-20T10:20:46Z","title":"LLMs Still Can't Plan; Can LRMs? A Preliminary Evaluation of OpenAI's o1 on PlanBench","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.13373","snapshot_observed_at":"2026-08-05T13:05:33.736041Z","title":"LLMs Still Can’t Plan; Can LRMs? A Preliminary Evaluation of OpenAI’s o1 on PlanBench","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.736041Z"},"links":{"cited_paper":"/paper/2409.13373","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:f7119249991e92843e5ad6ded45c0e1bf85db5805693d02bfbee1cdf95c2fcda","observation_id":"ca01ad81-91f9-4a27-a92f-8287cd1823b2","resolution":{"observed_at":"2026-08-05T13:05:33.736041Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.13153","last_updated":"2024-09-23T01:30:12Z","snapshot_observed_at":"2026-07-06T19:18:27.644746Z","submitted_at":"2024-09-20T01:32:14Z","title":"Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture","version":2},"cited_work":{"arxiv_id":"2409.13153","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.13153","snapshot_observed_at":"2026-08-05T13:05:34.597250Z","title":"Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture","venue":"cs.AR","work_id":"7851a3ce-c33c-4cd0-a7e1-4078a03e6734","year":2024},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.779719Z"},"links":{"cited_paper":"/paper/2409.13153","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:62e1a2d7297a18c1a8a861eb7f7552e46ee4b32d7471559c8fc2b7212e29697f","observation_id":"772fe328-eb0f-4100-9450-91c7e4e09199","resolution":{"observed_at":"2026-08-05T13:05:34.659396Z","resolver_source":"local_arxiv","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":"2201.11903","last_updated":"2023-01-10T23:07:57Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-01-28T02:33:07Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.11903","snapshot_observed_at":"2026-08-05T13:05:33.842264Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.842264Z"},"links":{"cited_paper":"/paper/2201.11903","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:4ca08a0d53f64cee43d09378d3b978d4f4dfd6f851eb375c50536aa36a65150a","observation_id":"c1e410d2-fdcc-49dc-9d17-b3127beddb30","resolution":{"observed_at":"2026-08-05T13:05:33.842264Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.11817","last_updated":"2025-02-13T08:11:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-01-22T10:26:14Z","title":"Hallucination is Inevitable: An Innate Limitation of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.11817","snapshot_observed_at":"2026-08-05T13:05:33.953593Z","title":"Hallucination is Inevitable: An Innate Limitation of Large Language Models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.953593Z"},"links":{"cited_paper":"/paper/2401.11817","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:fd96a9dc83a0a0109518c084ec02737009744b4913839f841002f1d9b3732e9a","observation_id":"41c81f73-716b-4208-8207-c31e7daf6eb8","resolution":{"observed_at":"2026-08-05T13:05:33.953593Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-05T13:05:34.020565Z","title":"Qwen3 Technical Report","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:34.020565Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:07164042e1f019b80c5fa0e91c9dea852fdfdbade63165d744a193d6d72159e4","observation_id":"87b59324-d0cd-4126-9512-9f2384f30dfe","resolution":{"observed_at":"2026-08-05T13:05:34.020565Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12045","last_updated":"2024-06-17T19:33:08Z","snapshot_observed_at":"2026-08-02T22:19:29.043854Z","submitted_at":"2024-06-17T19:33:08Z","title":"$\\tau$-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.12045","snapshot_observed_at":"2026-08-05T13:05:34.062741Z","title":"τ-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:34.062741Z"},"links":{"cited_paper":"/paper/2406.12045","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:79c566d1ac557f0694905f038322968cd693cd79ce56dd157be8b72f24250fc0","observation_id":"3cf94b63-dc4c-418c-92ff-803c3a6ebbb8","resolution":{"observed_at":"2026-08-05T13:05:34.062741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.04383","last_updated":"2024-11-07T02:54:35Z","snapshot_observed_at":"2026-07-06T19:46:28.260057Z","submitted_at":"2024-11-07T02:54:35Z","title":"Neuro-Symbolic AI: Explainability, Challenges, and Future Trends","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.04383","snapshot_observed_at":"2026-08-05T13:05:34.136406Z","title":"Neuro-Symbolic AI: Explainability, Challenges, and Future Trends","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:34.136406Z"},"links":{"cited_paper":"/paper/2411.04383","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:677700aa9f9fb5f302e695c362275eaa18c72f2a4a8230a4eec84b96a7a8d815","observation_id":"75e208a5-1262-4815-b4cd-4557b3fe2f3e","resolution":{"observed_at":"2026-08-05T13:05:34.136406Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:34.208531Z","title":"my_function","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:34.208531Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:c69a2ec6b50dd36e4a9204bbd52878717a70333e6420b3c4238f32abdbb8980d","observation_id":"baa9bca0-d120-4593-9584-9418e7163400","resolution":{"observed_at":"2026-08-05T13:05:34.208531Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.11080","last_updated":"2023-09-20T06:06:10Z","snapshot_observed_at":"2026-07-06T16:20:52.875559Z","submitted_at":"2023-09-20T06:06:10Z","title":"Visual Question Answering in the Medical Domain","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.11080","snapshot_observed_at":"2026-08-05T13:05:32.085493Z","title":"url: https://arxiv.org/abs/2309.11080","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:32.085493Z"},"links":{"cited_paper":"/paper/2309.11080","citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:a95a720c2e268a88a13c6760b2864d0cf50c1c3440ed4f4a8a88466aa35f82a0","observation_id":"24eacee2-be9b-4c45-beba-66f1b2269d21","resolution":{"observed_at":"2026-08-05T13:05:32.085493Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:05:36.027608Z","title":null,"venue":null,"work_id":"507078cd-5d86-4528-bd16-724f6b3f54b0","year":null},"citing_paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-05T13:05:33.122665Z"},"links":{"citing_paper":"/paper/2509.00971"},"observation_digest":"sha256:e7f4ac7215fb510a94fdb0e4b35fa2f234bc9569ef4a0901597277542cb28fbe","observation_id":"e281a368-54e3-47bb-b45f-d30f87c33556","resolution":{"observed_at":"2026-08-05T13:05:36.078215Z","resolver_source":"raw_fallback","status":"unresolved"},"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"}}],"paper":{"arxiv_id":"2509.00971","last_updated":"2025-09-03T05:36:42Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-05T13:05:31.165982Z","submitted_at":"2025-08-31T19:31:53Z","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":26,"verified_exact":5,"verified_fuzzy":8},"total_outbound_references":40},"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 8 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2509.00971."}