Paper Citation Record · LEDGER

Generating Natural Language Proofs with Verifier-Guided Search

As of 21 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 inbound Pith citation observations for arXiv:2205.12443.

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

pith.paper-citation-record.v1
2205.12443 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 4 of 4 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T05:20:45.590132Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-07T04:55:42.903161Z

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 3d5480a0-752f-476b-a1f4-7c07759d474d · inbound

From Models to Microtheories: Distilling a Model's Topical Knowledge for Grounded Question Answering cites this paper.

From Models to Microtheories: Distilling a Model's Topical Knowledge for Grounded Question Answering Generating Natural Language Proofs with Verifier-Guided Search

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T05:20:45.590132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c4865fa-1973-4da3-a5e3-4519ccad2170 · inbound

Helpful Agent Meets Deceptive Judge: Understanding Vulnerabilities in Agentic Workflows cites this paper.

Helpful Agent Meets Deceptive Judge: Understanding Vulnerabilities in Agentic Workflows Generating Natural Language Proofs with Verifier-Guided Search

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-07T11:10:45.695856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c29186a1-27e2-462b-a324-8892bdcc0edc · inbound

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

Mitigating Spurious Correlations in LLMs via Causality-Aware Post-Training Generating Natural Language Proofs with Verifier-Guided Search

Reference 34

Resolution: verified exact; local_arxiv, observed 2026-08-07T04:55:42.906986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 39316138-77e0-4488-9ed2-8989be2131aa · inbound

PROBE: Benchmarking Code Generation in Large Language Models cites this paper.

PROBE: Benchmarking Code Generation in Large Language Models Generating Natural Language Proofs with Verifier-Guided Search

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-02T03:41:04.562180Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.