Paper Citation Record · LEDGER

Prover-Verifier Games improve legibility of LLM outputs

As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 34 inbound Pith citation observations for arXiv:2407.13692.

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

pith.paper-citation-record.v1
2407.13692 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 34 of 34 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T10:44:03.024403Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-09T02:35:53.846004Z

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 9bd8fbcd-961d-4b06-b92d-302f4ed7e754 · inbound

Preference Optimization for Reasoning with Pseudo Feedback cites this paper.

Preference Optimization for Reasoning with Pseudo Feedback Prover-Verifier Games improve legibility of LLM outputs

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T13:21:05.601952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16568e58-ce99-4581-9090-32675de33fd6 · inbound

The Road to Artificial SuperIntelligence: A Comprehensive Survey of Superalignment cites this paper.

The Road to Artificial SuperIntelligence: A Comprehensive Survey of Superalignment Prover-Verifier Games improve legibility of LLM outputs

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-11T10:36:17.379413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad1e4531-7843-493d-a8ed-d10c1a64ae53 · inbound

Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs cites this paper.

Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs Prover-Verifier Games improve legibility of LLM outputs

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-13T15:51:29.224911Z

Source-reported events for the cited work

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

Observation 903a90db-54c4-4435-a4f7-d99fb61b5ab4 · inbound

Iterative Label Refinement Matters More than Preference Optimization under Weak Supervision cites this paper.

Iterative Label Refinement Matters More than Preference Optimization under Weak Supervision Prover-Verifier Games improve legibility of LLM outputs

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-10T20:33:38.188792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 347c87ed-b805-488d-9cdb-02748c08586a · inbound

Evolving Deeper LLM Thinking cites this paper.

Evolving Deeper LLM Thinking Prover-Verifier Games improve legibility of LLM outputs

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T19:39:10.481871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75d070b9-6f7a-4d59-9e01-4fd92bbb97c7 · inbound

Monitoring Reasoning Models for Misbehavior and the Risks of Promoting Obfuscation cites this paper.

Monitoring Reasoning Models for Misbehavior and the Risks of Promoting Obfuscation Prover-Verifier Games improve legibility of LLM outputs

Reference 76

Resolution: verified exact; arxiv_id, observed 2026-05-21T07:24:13.028284Z

Source-reported events for the cited work

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

Observation 7021e217-d75d-4008-9632-7b58aab47b41 · inbound

Super Co-alignment of Human and AI for Sustainable Symbiotic Society cites this paper.

Super Co-alignment of Human and AI for Sustainable Symbiotic Society Prover-Verifier Games improve legibility of LLM outputs

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-16T10:44:03.024403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 659adce1-6566-4e18-9750-2302a2330d78 · inbound

SPC: Evolving Self-Play Critic via Adversarial Games for LLM Reasoning cites this paper.

SPC: Evolving Self-Play Critic via Adversarial Games for LLM Reasoning Prover-Verifier Games improve legibility of LLM outputs

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:14.579837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ad4fab8-8452-43ab-a9f0-7cf0cddcab99 · inbound

Avoiding Obfuscation with Prover-Estimator Debate cites this paper.

Avoiding Obfuscation with Prover-Estimator Debate Prover-Verifier Games improve legibility of LLM outputs

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T20:08:16.683222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b0534e7-b856-43aa-b0b0-9fd5f27d555e · inbound

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation cites this paper.

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Prover-Verifier Games improve legibility of LLM outputs

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T19:25:57.657405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfcd6065-a185-47b4-a818-df84799aadc4 · inbound

Teaching Models to Verbalize Reward Hacking in Chain-of-Thought Reasoning cites this paper.

Teaching Models to Verbalize Reward Hacking in Chain-of-Thought Reasoning Prover-Verifier Games improve legibility of LLM outputs

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T22:03:53.640168Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8eb5e0ad-0ef1-4c1b-830d-8f10ccc8518d · inbound

Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings cites this paper.

Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Prover-Verifier Games improve legibility of LLM outputs

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T18:45:20.543584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 915c15dc-8988-4842-9e87-dd6f040bed42 · inbound

Hide and Seek with LLMs: An Adversarial Game for Sneaky Error Generation and Self-Improving Diagnosis cites this paper.

Hide and Seek with LLMs: An Adversarial Game for Sneaky Error Generation and Self-Improving Diagnosis Prover-Verifier Games improve legibility of LLM outputs

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T04:35:31.176661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7e60f98-5c74-4115-addb-bc760a3e9d56 · inbound

Generative Data Refinement: Just Ask for Better Data cites this paper.

Generative Data Refinement: Just Ask for Better Data Prover-Verifier Games improve legibility of LLM outputs

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T20:24:40.586175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd420bf7-a3e9-4cb5-bfca-956a24b62bcf · inbound

CLARity: Reasoning Consistency Alone Can Teach Reinforced Experts cites this paper.

CLARity: Reasoning Consistency Alone Can Teach Reinforced Experts Prover-Verifier Games improve legibility of LLM outputs

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T10:40:45.855435Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ebcdcce-ecc9-4caa-a902-5544966723a6 · inbound

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving cites this paper.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Prover-Verifier Games improve legibility of LLM outputs

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:24.619908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cbfbf02-1ba1-421c-8ad5-e79267653787 · inbound

Likelihood scoring for continuations of mathematical text: a self-supervised benchmark with tests for shortcut vulnerabilities cites this paper.

Likelihood scoring for continuations of mathematical text: a self-supervised benchmark with tests for shortcut vulnerabilities Prover-Verifier Games improve legibility of LLM outputs

Reference 46

Resolution: verified exact; arxiv_id, observed 2026-05-19T17:22:41.910605Z

Source-reported events for the cited work

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

Observation bcb551a3-b855-4e4e-9dae-c62884f40027 · inbound

Common-agency Games for Multi-Objective Test-Time Alignment cites this paper.

Common-agency Games for Multi-Objective Test-Time Alignment Prover-Verifier Games improve legibility of LLM outputs

Reference 207

Resolution: verified exact; arxiv_id, observed 2026-05-15T06:15:06.609300Z

Source-reported events for the cited work

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

Observation 73b2c4d2-505e-4f9e-8d24-21604c1b170c · inbound

Pseudo-Formalization for Automatic Proof Verification cites this paper.

Pseudo-Formalization for Automatic Proof Verification Prover-Verifier Games improve legibility of LLM outputs

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-21T06:29:42.234417Z

Source-reported events for the cited work

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

Observation 1b043fc1-21d6-4cfc-bff1-08db1ed04fdb · inbound

Pseudo-Formalization for Automatic Proof Verification cites this paper.

Pseudo-Formalization for Automatic Proof Verification Prover-Verifier Games improve legibility of LLM outputs

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.725305Z

Source-reported events for the cited work

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

Observation dbe2568e-3262-41ea-9660-a72c084b39ed · inbound

CLORE: Content-Level Optimization for Reasoning Efficiency cites this paper.

CLORE: Content-Level Optimization for Reasoning Efficiency Prover-Verifier Games improve legibility of LLM outputs

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-05-22T05:51:08.304679Z

Source-reported events for the cited work

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

Observation f94fca0a-cf0b-4d0c-b59b-0a03c2161c5a · inbound

Does Capability Transfer to Subjective Behavior -- and Would Our Instruments Tell Us? A Self-Evolving, Trust-by-Construction Evaluation Paradigm cites this paper.

Does Capability Transfer to Subjective Behavior -- and Would Our Instruments Tell Us? A Self-Evolving, Trust-by-Construction Evaluation Paradigm Prover-Verifier Games improve legibility of LLM outputs

Reference 62

Resolution: verified exact; arxiv_id, observed 2026-06-29T13:03:26.762455Z

Source-reported events for the cited work

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

Observation 701c8aad-89f6-41f3-a3c6-8f3ec5342b57 · inbound

Calibrating Conservatism for Scalable Oversight cites this paper.

Calibrating Conservatism for Scalable Oversight Prover-Verifier Games improve legibility of LLM outputs

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T12:13:27.494748Z

Source-reported events for the cited work

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

Observation 941301f9-2784-45ea-9de1-c6641362f0b3 · inbound

Self-Trained Verification for Training- and Test-Time Self-Improvement cites this paper.

Self-Trained Verification for Training- and Test-Time Self-Improvement Prover-Verifier Games improve legibility of LLM outputs

Reference 3

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T08:33:15.743543Z

Source-reported events for the cited work

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

Observation 6759c5cf-cea0-4926-a077-1d1a4f8fdbc5 · inbound

Weak Critics Make Strong Learners: On-Policy Critique Distillation for Scalable Oversight cites this paper.

Weak Critics Make Strong Learners: On-Policy Critique Distillation for Scalable Oversight Prover-Verifier Games improve legibility of LLM outputs

Reference 13

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T19:56:10.986127Z

Source-reported events for the cited work

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

Observation b9ba41ea-7bbb-49d6-a5ce-21009dce10a8 · inbound

Proxy Reward Internalization and Mechanistic Exploitation: A Learned Precursor to Reward Hacking and Its Generalization cites this paper.

Proxy Reward Internalization and Mechanistic Exploitation: A Learned Precursor to Reward Hacking and Its Generalization Prover-Verifier Games improve legibility of LLM outputs

Reference 92

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T01:37:30.546173Z

Source-reported events for the cited work

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

Observation bc76dda3-e66e-41be-9ac3-7dbc912fe5ba · inbound

Divide and Cooperate: Role-Decomposed Multi-Agent LLM Training with Cross-Agent Learning Signals cites this paper.

Divide and Cooperate: Role-Decomposed Multi-Agent LLM Training with Cross-Agent Learning Signals Prover-Verifier Games improve legibility of LLM outputs

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-07-03T03:57:38.332218Z

Source-reported events for the cited work

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

Observation 772bc73e-6b95-43bd-8747-a2f0d62e1c51 · inbound

Tandem Reinforcement Learning with Verifiable Rewards cites this paper.

Tandem Reinforcement Learning with Verifiable Rewards Prover-Verifier Games improve legibility of LLM outputs

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-07-01T17:15:51.809242Z

Source-reported events for the cited work

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

Observation 8b02d299-2215-4dbb-a74b-dbea5896c1fc · inbound

Addressing Over-Refusal in LLMs with Competing Rewards cites this paper.

Addressing Over-Refusal in LLMs with Competing Rewards Prover-Verifier Games improve legibility of LLM outputs

Reference 104

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T08:55:35.512114Z

Source-reported events for the cited work

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

Observation 07ce9284-9608-4c9c-b33a-807814cc0f53 · inbound

Theoria: Rewrite-Acceptability Verification over Informal Reasoning States cites this paper.

Theoria: Rewrite-Acceptability Verification over Informal Reasoning States Prover-Verifier Games improve legibility of LLM outputs

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-07-02T12:16:56.400741Z

Source-reported events for the cited work

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

Observation c6bb3969-3f35-4845-9ea6-b0113ad472b7 · inbound

How to Avoid Debate: Scalable AI Safety via Doubly-Efficient Interactive Proofs cites this paper.

How to Avoid Debate: Scalable AI Safety via Doubly-Efficient Interactive Proofs Prover-Verifier Games improve legibility of LLM outputs

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-12T01:34:45.323277Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b1b1f36-2229-4363-8bad-ee62b3ab3fd7 · inbound

Agon: Competitive Cross-Model RL with Implicit Rival Grading of Reasoning cites this paper.

Agon: Competitive Cross-Model RL with Implicit Rival Grading of Reasoning Prover-Verifier Games improve legibility of LLM outputs

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-07-09T02:35:53.847137Z

Source-reported events for the cited work

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

Observation 22009a97-3e77-4fca-9d92-4d68e232891c · inbound

Code Monitor Red Teaming for Public-Test-Passing Code cites this paper.

Code Monitor Red Teaming for Public-Test-Passing Code Prover-Verifier Games improve legibility of LLM outputs

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T09:12:27.567392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e75ddd2-516b-426c-b4c3-557b19d4870f · inbound

How to Verify Consistency of Probabilistic Claims cites this paper.

How to Verify Consistency of Probabilistic Claims Prover-Verifier Games improve legibility of LLM outputs

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-12T04:42:44.284985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.