Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T18:24:50.462671Z
Paper Citation Record · LEDGER
From Language to Logic: A Bi-Level Framework for Structured Reasoning
As of 12 August 2026, this Paper Citation Record lists 3 of 3 outbound references and 0 inbound Pith citation observations for arXiv:2507.08501.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
3 of 3 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved3
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 7144192e-db70-490c-818e-2caaae5d87aa · outbound
This paper cites Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks.
From Language to Logic: A Bi-Level Framework for Structured Reasoning Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T18:24:27.375991Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d1469af-a2fe-4a67-a75d-659f936fe6d6 · outbound
This paper cites Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs.
From Language to Logic: A Bi-Level Framework for Structured Reasoning Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T18:24:50.365471Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3113f3ab-8d7c-4976-bfb2-2ace325cef0b · outbound
This paper cites rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking.
From Language to Logic: A Bi-Level Framework for Structured Reasoning rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking
Reference 906
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T18:24:50.462671Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.