Paper Citation Record · LEDGER

ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 11 inbound Pith citation observations for arXiv:2012.13048.

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

pith.paper-citation-record.v1
2012.13048 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 11 of 11 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:55:42.778568Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-24T11:14:23.233028Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 4d71ef74-1662-4544-b6c7-f78cc6df8c3a · inbound

Solving math word problems with process- and outcome-based feedback cites this paper.

Solving math word problems with process- and outcome-based feedback ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 36

Resolution: verified exact; arxiv_id, observed 2026-05-24T11:14:23.235339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 734377eb-1d69-4586-beef-856a3a7be224 · inbound

Reasoning with Language Model is Planning with World Model cites this paper.

Reasoning with Language Model is Planning with World Model ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 64

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T01:49:28.984789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fb393814-f987-450e-90b7-e88fc077fc5c · inbound

Chain-of-Verification Reduces Hallucination in Large Language Models cites this paper.

Chain-of-Verification Reduces Hallucination in Large Language Models ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 76

Resolution: metadata mismatch; arxiv_id, observed 2026-05-18T01:06:50.249009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a374efc8-3b1d-4231-b541-cb205caf8b02 · inbound

Mitigating Spurious Correlations in LLMs via Causality-Aware Post-Training cites this paper.

Mitigating Spurious Correlations in LLMs via Causality-Aware Post-Training ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-07T04:55:42.778568Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a21ab4f1-d809-4dd7-993e-b9eb4f28087d · inbound

Thinking About Thinking: SAGE-nano's Inverse Reasoning for Self-Aware Language Models cites this paper.

Thinking About Thinking: SAGE-nano's Inverse Reasoning for Self-Aware Language Models ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-06T21:38:12.584725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 503bdc61-f2dc-450a-b5e2-b4606280f501 · inbound

Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System cites this paper.

Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T20:39:05.981599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 937a02aa-8ed8-4cf7-babe-cd06a0e94de5 · inbound

Does Learning Mathematical Problem-Solving Generalize to Broader Reasoning? cites this paper.

Does Learning Mathematical Problem-Solving Generalize to Broader Reasoning? ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T19:53:38.311047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdabb406-c063-4542-a93b-b4d13dc5f993 · inbound

Is Large Language Model Performance on Reasoning Tasks Impacted by Different Ways Questions Are Asked? cites this paper.

Is Large Language Model Performance on Reasoning Tasks Impacted by Different Ways Questions Are Asked? ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-05-19T03:57:03.042674Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation af928b3c-b0dd-4b99-862c-7185b5d7a57a · inbound

LENS: Learning Ensemble Confidence from Neural States for Multi-LLM Answer Integration cites this paper.

LENS: Learning Ensemble Confidence from Neural States for Multi-LLM Answer Integration ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T11:03:16.584987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86687bf6-08c4-4175-880b-810d759239df · inbound

Reasoning is about giving reasons cites this paper.

Reasoning is about giving reasons ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-05T18:37:52.109297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6982af3f-e511-4bd7-8a67-b2a500dadb44 · inbound

Semantic-Aware Logical Reasoning via a Semiotic Framework cites this paper.

Semantic-Aware Logical Reasoning via a Semiotic Framework ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 40

Resolution: metadata mismatch; arxiv_id, observed 2026-05-18T13:01:24.264313Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.