Paper Citation Record · LEDGER

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs

As of 7 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2509.00971.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2509.00971 v2

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T13:05:34.208531Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

40 of 40 outbound references displayed

verified exact5
verified fuzzy8
unresolved26
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cdb19087-9a0a-42eb-939b-20c32f6f35da · outbound

This paper cites Chain-of-Thought Reasoning In The Wild Is Not Always Faithful.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Chain-of-Thought Reasoning In The Wild Is Not Always Faithful

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:31.857966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 732b88e5-3b10-478c-8ef4-38ed05dd1318 · outbound

This paper cites Chain-of-Thought Is Not Explainability.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Chain-of-Thought Is Not Explainability

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:05:37.124711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b5877844-f090-4f02-b312-9d303ad1c8a4 · outbound

This paper cites Post-Hoc Explanations Fail to Achieve their Purpose in Adversarial Contexts.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Post-Hoc Explanations Fail to Achieve their Purpose in Adversarial Contexts

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-05T13:05:35.633964Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 72fa721a-fcb5-451b-9442-5218e9fcf9d9 · outbound

This paper cites an unresolved cited work.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-05T13:05:36.973154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e48ef463-c9d7-4de3-9a08-6edc1864b999 · outbound

This paper cites InternalBiasinReasoningModelsleadstoOverthinking.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs InternalBiasinReasoningModelsleadstoOverthinking

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.139870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be44d2a7-3d0e-4b97-9688-a1c1b3a362f1 · outbound

This paper cites an unresolved cited work.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-05T13:05:36.798156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 32564f31-6703-47ad-b771-0b98fbf2e55e · outbound

This paper cites Does Thinking More always Help? Understanding Test-Time Scaling in Reasoning Models.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Does Thinking More always Help? Understanding Test-Time Scaling in Reasoning Models

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.242329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f68711ec-f83c-45b2-963e-3e6d81b090bd · outbound

This paper cites Neurosymbolic AI and its Taxonomy: a survey.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Neurosymbolic AI and its Taxonomy: a survey

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.277886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f801d82b-b2ca-41ed-9afe-57d26b63fecf · outbound

This paper cites A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.298220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02cda741-fa07-4c46-ae56-5afbd8ab2e8a · outbound

This paper cites LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.352185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33881f04-7844-4439-bc6e-d7e2039654cc · outbound

This paper cites SWE-bench: Can Language Models Resolve Real-World GitHub Issues?.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.414559Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f15fbfd-432d-4778-90e9-109dd03585ae · outbound

This paper cites Grounding and Evaluation for Large Language Models: Practical Challenges and Lessons Learned (Survey).

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Grounding and Evaluation for Large Language Models: Practical Challenges and Lessons Learned (Survey)

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.479542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81c511d6-3b67-469f-aadc-7b7e1aaaea48 · outbound

This paper cites Fast and Accurate Task Planning using Neuro-Symbolic Language Models and Multi-level Goal Decomposition.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Fast and Accurate Task Planning using Neuro-Symbolic Language Models and Multi-level Goal Decomposition

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.500974Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6de6464-a7c4-4e90-b159-6fdbf5fb0a95 · outbound

This paper cites AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:05:36.651786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation df2e7bfb-0643-4cf5-b204-1b4a0f32b68d · outbound

This paper cites Surveying neuro-symbolic approaches for reliable artificial intelligence of things.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Surveying neuro-symbolic approaches for reliable artificial intelligence of things

Reference 15

Resolution: malformed identifier; doi_truncated, observed 2026-08-05T13:05:34.287163Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 304256d9-1010-4e1f-85dc-599e2ac34929 · outbound

This paper cites Meincke and H.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Meincke and H

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:05:36.507185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4515cf15-dd97-4391-9f53-8eca5384fbea · outbound

This paper cites GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.738010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff88d9d3-53b4-4a5e-94de-3536170faed5 · outbound

This paper cites A review of neuro-symbolic AI integrating reasoning and learning.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs A review of neuro-symbolic AI integrating reasoning and learning

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:05:36.363150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0e9c8d27-9ee0-4730-adbb-bffd67ec0f84 · outbound

This paper cites Comment on The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Comment on The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.839266Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4e11405-bb00-457b-9ec1-99c6fcf25fd7 · outbound

This paper cites PLAN-TUNING: Post-Training Language Models to Learn Step-by-Step Planning for Complex Problem Solving.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs PLAN-TUNING: Post-Training Language Models to Learn Step-by-Step Planning for Complex Problem Solving

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-08-05T13:05:35.179327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b1778b23-5ce7-41e3-966f-7ba00be560a2 · outbound

This paper cites The Berkeley Function Calling Leaderboard (BFCL): From Tool Use to Agentic Evaluation of Large Language Models.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs The Berkeley Function Calling Leaderboard (BFCL): From Tool Use to Agentic Evaluation of Large Language Models

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:05:36.220495Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation acc9d7b8-d6f1-49c1-8d49-78d4fdd6b2c2 · outbound

This paper cites Transparent AI: The Case for Interpretability and Explainability.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Transparent AI: The Case for Interpretability and Explainability

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-05T13:05:35.041276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cf8d3e91-4503-40e8-804b-9f293deed37e · outbound

This paper cites Internal Study on Chain-of-Thought Faithfulness.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Internal Study on Chain-of-Thought Faithfulness

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:05:35.989885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 26707d3e-692b-4566-a88e-09632de787c9 · outbound

This paper cites The Case Against Explainability.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs The Case Against Explainability

Reference 24

Resolution: verified exact; local_arxiv, observed 2026-08-05T13:05:34.905224Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 903f13ea-87b0-4b0d-9473-f58b512f3217 · outbound

This paper cites The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:33.353251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9736c180-9106-47b0-8e4e-2f1903374105 · outbound

This paper cites Medical Visual Question Answering with Chain-of-Thought Explanations.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Medical Visual Question Answering with Chain-of-Thought Explanations

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:05:35.874903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7ef1440b-b096-4cb0-8489-383f9ede92f0 · outbound

This paper cites Chain of Thoughtlessness? An Analysis of CoT in Planning.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Chain of Thoughtlessness? An Analysis of CoT in Planning

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:33.501250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc721893-b3ed-4f92-8901-87e9f358da1a · outbound

This paper cites Between Underthinking and Overthinking: An Empirical Study of Reasoning Length and correctness in LLMs.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Between Underthinking and Overthinking: An Empirical Study of Reasoning Length and correctness in LLMs

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:33.533803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28741b09-a51d-4931-97e5-b17f1e881257 · outbound

This paper cites Evals: An Extensible Framework for Evaluating Large Language Models.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Evals: An Extensible Framework for Evaluating Large Language Models

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:05:35.763718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3712911a-c282-4c45-8e02-f57f4eec3d21 · outbound

This paper cites Language Models Don't Always Say What They Think: Unfaithful Explanations in Chain-of-Thought Prompting.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Language Models Don't Always Say What They Think: Unfaithful Explanations in Chain-of-Thought Prompting

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:33.670993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca01ad81-91f9-4a27-a92f-8287cd1823b2 · outbound

This paper cites LLMs Still Can't Plan; Can LRMs? A Preliminary Evaluation of OpenAI's o1 on PlanBench.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs LLMs Still Can't Plan; Can LRMs? A Preliminary Evaluation of OpenAI's o1 on PlanBench

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:33.736041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 772fe328-eb0f-4100-9450-91c7e4e09199 · outbound

This paper cites Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-08-05T13:05:34.659396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c1e410d2-fdcc-49dc-9d17-b3127beddb30 · outbound

This paper cites Chain-of-Thought Prompting Elicits Reasoning in Large Language Models.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Chain-of-Thought Prompting Elicits Reasoning in Large Language Models

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:33.842264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41c81f73-716b-4208-8207-c31e7daf6eb8 · outbound

This paper cites Hallucination is Inevitable: An Innate Limitation of Large Language Models.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Hallucination is Inevitable: An Innate Limitation of Large Language Models

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:33.953593Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87b59324-d0cd-4126-9512-9f2384f30dfe · outbound

This paper cites Qwen3 Technical Report.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Qwen3 Technical Report

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:34.020565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cf94b63-dc4c-418c-92ff-803c3a6ebbb8 · outbound

This paper cites $\tau$-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs $\tau$-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:34.062741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75e208a5-1262-4815-b4cd-4557b3fe2f3e · outbound

This paper cites Neuro-Symbolic AI: Explainability, Challenges, and Future Trends.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Neuro-Symbolic AI: Explainability, Challenges, and Future Trends

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:34.136406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation baa9bca0-d120-4593-9584-9418e7163400 · outbound

This paper cites my_function.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs my_function

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:34.208531Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24eacee2-be9b-4c45-beba-66f1b2269d21 · outbound

This paper cites Visual Question Answering in the Medical Domain.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Visual Question Answering in the Medical Domain

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-05T13:05:32.085493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e281a368-54e3-47bb-b45f-d30f87c33556 · outbound

This paper cites an unresolved cited work.

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs Unresolved cited work

Reference 2025

Resolution: unresolved; raw_fallback, observed 2026-08-05T13:05:36.078215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.