{"as_of":"2026-08-10T08:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1969abbcfb209f5ce0d65782801ff91e63e5356f56f6d39a1c95565cd73f1b32","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-10T06:31:04.303077+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-10T04:46:08.121235Z","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:44a4fc71425b199943fb4b3ac7f65a8895212c66b1572c980065d4ffc474984e","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-10T04:46:08.121235Z","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:073483a9bba21f98d2aefa67d2dc1cdd050c36bd6506f56cd7cfb1613194e758","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T20:58:24.510557Z","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-10T04:46:08.121235Z","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:b585514152d2d2ba545226f2dd872d8c88ac44f9db9bdd86e1b54c7e20ba2dee","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:666081deef383430f4e81f4be231a0f9e2ccc14bb148c04fd2a0a4a6eaa8056c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:3f2e2077721df61d25d7e89b715dd065d0f9f803eabc7d57733ea7ca85be0715","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-10T04:46:08.121235Z","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:110e49d75e36f2ba2462cdf5ab9688ac94ccb823ea09df9661a335d5275a04a4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:e69c92ce978b4d63995bfcb213a0f12d4e143237e15356f032b33e028093e59d","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-10T04:46:08.121235Z","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:9b44aabf6f2a97484368ab0626a0a003223dc5cd5789892f6a90b7e6dd40f5e9","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-10T04:46:08.121235Z","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:c871cba4991d8d6e1e54787d4c574b5b3c79f562f8530eb43cb6ec7f2b83b54a","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-08-10T03:07:35.408836Z","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-10T04:46:08.121235Z","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:2333e8c633095a0618f773bc104037d1d602bf0ac055530d63c7d9444d4e728e","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-10T04:46:08.121235Z","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:73c4beda91791f511d85e914655fd290884b6fd9bde1fb8e280f201908675a6a","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-10T04:46:08.121235Z","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:3c3b75ad5d26b85c05432a80749240f4a131f9437b9aafe6667a0ba47576abd5","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-10T04:46:08.121235Z","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:604cb9e2f282ca672a9cf2caa395ed7c361b6f6af333d351b6b31bb1ab33e5de","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-10T04:46:08.121235Z","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:f02a1f7272164a965f9b92ea815ddb81724c269df6ca73120aac3957c0a7a8af","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:44fdfce13f4c1eceac5d1e0186a4fbff21157760fa982de50a37a1339e2d9b32","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:778220f3a78defac45d00a4c744f5a0a96b1bc46d8fed73dfed6cda5a35c1133","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:e3617e1b9078170b08619deb5ca6693e0f9840e73a3567f9f5945573efdd8161","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-10T04:46:08.121235Z","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:c721e1ea27f95b3f39a4114e925e4e46dc6e0e2a419f40fe27cd7bca2eed562c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:3967ecd3f50f946c3c749b29364152f0be5622621c82a21dff27f60f11ed04f5","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-10T04:46:08.121235Z","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:47e91c5de4143a4a28469461255b1314aa242069d9d83665e754173a00b5b4b2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:a7bcc41c96b40aafabfb76b5005059ebaea37494a8c20355d49c5d0af6c23149","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:5b35fad9cdef3d0d2c4c24cb92a3f19d59e43d2e7d4a74cebcb508bce427c37c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:e56fedb02999f337490a0f9dde63fb55b112b94f69b6a0fc17e839c01332b937","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T13:12:43.201592Z","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-10T04:46:08.121235Z","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:cf8f5a0de0b07ab89fe2cbf7c29fc9ce43aa2fe8f9b620c082604212a1e6215c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T21:19:24.140229Z","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-10T04:46:08.121235Z","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:d59a44f06d5d7ed87c1960c900446838d0931df8688437143dfb0e851e128629","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-10T04:46:08.121235Z","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:2295b37a7212f35d4f3c70418e08ccd4f98af7abcb80bfe4c3b454d04a1de447","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:a63dc003fe6d15bc9b5816bde43664af05590c3eec17349b1bb8b92bea2f96c9","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-10T04:46:08.121235Z","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:b6c76ef762bc6f4b4b06da9f0e9dc7e8bc4ff8a40043cf4d96899fdf391234e3","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-10T04:46:08.121235Z","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:63294c82d208cc68e0c47aac4b3e4c2f0425c27e2094b88006ce2ac08aeb5414","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:c787cf72d32770ada044a4ab6804bb7dda3b07c037d911419572ca454778a68a","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-08-10T01:01:06.663244Z","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-10T04:46:08.121235Z","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:19b1218d8650bdfe72f48117529e83f21f08a09afa13e4664713b3bf58ffd899","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-10T04:46:08.121235Z","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:64075756745a61d745884da0f32f0eaff9109eafe753b3f26a8ef87a0614b500","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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:63d7e811847d58c6768c3abda5541085dc24ed0d2cfd9844074805b845019c40","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-10T04:46:08.121235Z","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:c86e95f6733bcf99a7c2bfb049374b427acd593bde7b3a26c6348cdb730c1d61","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-10T04:46:08.121235Z","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:7663c848367e59c31da59fb7fd0d7211aea4ac5699c62b27eaa6d5aa7f46b7f7","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-08T21:08:39.676079Z","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-10T04:46:08.121235Z","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:54be9aeedccedc6018a07890f81f3221d9cf984ad4079630ad5c6fa903feb1a5","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-10T04:46:08.121235Z","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:240a45b3780fb20c1f24b9d3d35a3b63ad12be79c6ec58322433f6621b3d881b","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-10T04:46:08.121235Z","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:aa19701bda4754dd37bedb53ed3dd437631c7343139abd09777c505df309d2ae","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-10T04:46:08.121235Z","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:11a79eb442a26d383fedf01788bac29d5eaea2fbaea828c5f778426a04802e02","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-10T04:46:08.121235Z","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:d45064c3fd90f1da933d72edf69772c44d328fea3f27ddbdc36769f5a1eb3737","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:46:08.121235Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2509.00971."}