Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Deductive Verification of Chain-of-Thought Reasoning
As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 6 inbound Pith citation observations for arXiv:2306.03872.
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-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T22:20:50.564246Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
19
arxiv_reference, observed 2026-08-05T02:28:24.338817Z
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation fc7e7947-3f82-4ad3-a97f-fe627f9ecc4c · inbound
Chain-of-Verification Reduces Hallucination in Large Language Models cites this paper.
Chain-of-Verification Reduces Hallucination in Large Language Models Deductive Verification of Chain-of-Thought Reasoning
Reference 127
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T01:06:50.286739Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 02db21df-e07b-429d-8f87-bbce4fe2db43 · inbound
Mixture-of-Agents Enhances Large Language Model Capabilities cites this paper.
Mixture-of-Agents Enhances Large Language Model Capabilities Deductive Verification of Chain-of-Thought Reasoning
Reference 16
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-16T19:29:34.482896Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 395e484f-51fe-489b-8480-db9b13f67e71 · inbound
On LLM-generated Logic Programs and their Inference Execution Methods cites this paper.
On LLM-generated Logic Programs and their Inference Execution Methods Deductive Verification of Chain-of-Thought Reasoning
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T22:20:50.564246Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 691d59fa-2d1e-46ab-801d-9b5c5710ed36 · inbound
Tracing Uncertainty in Language Model "Reasoning" cites this paper.
Tracing Uncertainty in Language Model "Reasoning" Deductive Verification of Chain-of-Thought Reasoning
Reference 21
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:20:52.502287Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 797adfbe-5ac5-42d6-a938-016d3a4c00b5 · inbound
Theoria: Rewrite-Acceptability Verification over Informal Reasoning States cites this paper.
Theoria: Rewrite-Acceptability Verification over Informal Reasoning States Deductive Verification of Chain-of-Thought Reasoning
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-07-02T12:16:56.403786Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 2793cdb9-77d7-464b-ac64-e1a4a14ea7fc · inbound
SymStep: Symbolic Step Verification for Logical Reasoning cites this paper.
SymStep: Symbolic Step Verification for Logical Reasoning Deductive Verification of Chain-of-Thought Reasoning
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T03:48:30.401998Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.