Paper Citation Record · LEDGER

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier

As of 16 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 1 inbound Pith citation observation for arXiv:2505.11966.

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

pith.paper-citation-record.v1
2505.11966 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T20:49:24.130897Z

measured 45 of 45 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T17:29:37.089302Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

44 of 44 outbound references displayed

verified exact1
verified fuzzy19
unresolved22
parse uncertain1
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a8949d8a-4575-4fab-8513-48a4a87e5f69 · outbound

This paper cites Chain-of-thought prompting elicits reasoning in large language models.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Chain-of-thought prompting elicits reasoning in large language models

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52bec8a4-fb18-4c52-954c-917b84548da0 · outbound

This paper cites Large Language Models are Zero-Shot Reasoners.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Large Language Models are Zero-Shot Reasoners

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d0c87e8-fd26-4185-a295-5339102d05ad · outbound

This paper cites Thinking, fast and slow.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Thinking, fast and slow

Reference 3

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4a4800a-1618-4d90-9ffa-6d26a4d265da · outbound

This paper cites From System 1 to System 2: A Survey of Reasoning Large Language Models.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier From System 1 to System 2: A Survey of Reasoning Large Language Models

Reference 4

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f575416d-91d3-4b1d-b764-7d0881669c1e · outbound

This paper cites Reasoning models.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Reasoning models

Reference 5

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4893203-24e4-4bf4-8468-e5b643be287c · outbound

This paper cites Gemini 2.5 pro preview: even better coding performance.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Gemini 2.5 pro preview: even better coding performance

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.940783Z

Source-reported events for the cited work

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

Observation 53bfde3c-a06f-4b47-a9f6-02ffd3494a49 · outbound

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

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs

Reference 8

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ca17442-95a2-4bee-b92a-c56a2836d929 · outbound

This paper cites an unresolved cited work.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Unresolved cited work

Reference 9

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23b7fe71-352d-45c3-8c6f-0013302d481c · outbound

This paper cites Inference-time scaling for generalist reward modeling, 2025.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Inference-time scaling for generalist reward modeling, 2025

Reference 10

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc44f832-a478-4a76-9594-e219b66b181c · outbound

This paper cites Generative Verifiers: Reward Modeling as Next-Token Prediction.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Generative Verifiers: Reward Modeling as Next-Token Prediction

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7141660-d247-4cfd-bab0-2c4546c99fc2 · outbound

This paper cites When to solve, when to verify: Compute-optimal problem solving and generative verification for llm reasoning, 2025.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier When to solve, when to verify: Compute-optimal problem solving and generative verification for llm reasoning, 2025

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.925149Z

Source-reported events for the cited work

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

Observation e4bdbdf5-7b32-415e-be42-ae95c0120e06 · outbound

This paper cites Reason- ing models can be effective without thinking, 2025.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Reason- ing models can be effective without thinking, 2025

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.908611Z

Source-reported events for the cited work

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

Observation 00ca9903-6184-46c6-8ba9-10686735d5a9 · outbound

This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Reference 14

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1e032f8-7372-4b5c-9fa5-920d7509114a · outbound

This paper cites Dyve: Thinking Fast and Slow for Dynamic Process Verification.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Dyve: Thinking Fast and Slow for Dynamic Process Verification

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-08-15T20:49:24.394461Z

Source-reported events for the cited work

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

Observation 5c892163-70f6-477a-9836-a7e2301075bd · outbound

This paper cites ProcessBench: Identifying Process Errors in Mathematical Reasoning.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier ProcessBench: Identifying Process Errors in Mathematical Reasoning

Reference 16

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 230d4077-0fd5-411c-b0b2-e6de3c5f3980 · outbound

This paper cites Self-consistency improves chain of thought reasoning in language models.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Self-consistency improves chain of thought reasoning in language models

Reference 17

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f2d5d5f-db77-4ecb-8f5e-d5eb54c73b7e · outbound

This paper cites an unresolved cited work.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:24.883865Z

Source-reported events for the cited work

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

Observation 441db918-d3dd-4695-be88-4aa8fcc87a74 · outbound

This paper cites an unresolved cited work.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:24.868305Z

Source-reported events for the cited work

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

Observation e23a8edd-bb2f-4269-92c8-bac2c20563f9 · outbound

This paper cites Tree of thoughts: Deliberate problem solving with large language models.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Tree of thoughts: Deliberate problem solving with large language models

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.853052Z

Source-reported events for the cited work

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

Observation 46e45b69-e5ec-4556-a463-2c840da55810 · outbound

This paper cites Reflexion: Language agents with verbal reinforcement learning.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Reflexion: Language agents with verbal reinforcement learning

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.837606Z

Source-reported events for the cited work

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

Observation 4f4a921b-a629-4449-be9a-004bb9d58df1 · outbound

This paper cites Self-refine: Iterative refine- ment with self-feedback.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Self-refine: Iterative refine- ment with self-feedback

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.824067Z

Source-reported events for the cited work

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

Observation 5b733c78-a874-47ee-a28e-8e4eda2eb5e7 · outbound

This paper cites Critic: Large language models can self-critique and self-correct their own novice mistakes.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Critic: Large language models can self-critique and self-correct their own novice mistakes

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.809822Z

Source-reported events for the cited work

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

Observation 82fdfab3-cb9b-4066-8b4f-ae10feba6485 · outbound

This paper cites Let's Verify Step by Step.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Let's Verify Step by Step

Reference 24

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f7505f3-453e-45fe-b930-11df1529fb68 · outbound

This paper cites Prover: Process-based reward- model for verifiable reasoning.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Prover: Process-based reward- model for verifiable reasoning

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.793473Z

Source-reported events for the cited work

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

Observation 2352c211-e39a-4be6-9a24-35fdc61c399c · outbound

This paper cites Self-critiquing models for assisting human evaluators.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Self-critiquing models for assisting human evaluators

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cb1a46d-b7ab-492b-8cfc-b81f3d5421ba · outbound

This paper cites Training language models to follow instructions with human feedback.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Training language models to follow instructions with human feedback

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.779008Z

Source-reported events for the cited work

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

Observation 551bbf73-7ba4-43f8-9736-199fc86d5c54 · outbound

This paper cites Adaptive Computation Time for Recurrent Neural Networks.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Adaptive Computation Time for Recurrent Neural Networks

Reference 28

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c2d7923-08e7-40b7-a481-a81290721046 · outbound

This paper cites Direct Comparison of Isobaric and Isochoric Vitrification of Two Aqueous Solutions with Photon Counting X-Ray Computed Tomography.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Direct Comparison of Isobaric and Isochoric Vitrification of Two Aqueous Solutions with Photon Counting X-Ray Computed Tomography

Reference 29

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T20:49:24.311270Z

Source-reported events for the cited work

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

Observation 14f6e461-86e4-47f9-9f7c-85048838bde5 · outbound

This paper cites Condensed composite cone (c3) a geometric approach to pruning chain- of-thought.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Condensed composite cone (c3) a geometric approach to pruning chain- of-thought

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.764334Z

Source-reported events for the cited work

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

Observation 6cdba179-eedc-4db9-a5da-79c6376ddc32 · outbound

This paper cites LLMs cannot find reasoning errors, but can correct them given the error location.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier LLMs cannot find reasoning errors, but can correct them given the error location

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.749008Z

Source-reported events for the cited work

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

Observation 53556d9c-6838-41fa-a1ec-16581b3fb3aa · outbound

This paper cites Hu, Yelong Shen, Phillip Wallis, Zeyuan Allen-Zhu, Yuanzhi Li, Shean Wang, Lu Wang, and Weizhu Chen.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Hu, Yelong Shen, Phillip Wallis, Zeyuan Allen-Zhu, Yuanzhi Li, Shean Wang, Lu Wang, and Weizhu Chen

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.733499Z

Source-reported events for the cited work

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

Observation 90791344-4036-4a65-ae34-f885be19a000 · outbound

This paper cites Decoupled weight decay regularization.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Decoupled weight decay regularization

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.718248Z

Source-reported events for the cited work

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

Observation bb4504a0-823a-4ff8-bda3-ad4c2e2b3f1a · outbound

This paper cites doi: 10.18653/v1/2024.findings-acl.826.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier doi: 10.18653/v1/2024.findings-acl.826

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10bc15b3-3b41-4542-9fb3-807dac7d0304 · outbound

This paper cites Openo1-sft-ultra dataset.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Openo1-sft-ultra dataset

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.702397Z

Source-reported events for the cited work

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

Observation 2005f40f-4bca-4781-a4a4-fbd80e3f7872 · outbound

This paper cites Gonzalez, Hao Lee, and Ion Stoica.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Gonzalez, Hao Lee, and Ion Stoica

Reference 36

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57f65505-b6f6-422e-93da-22f29fa4ab94 · outbound

This paper cites Are Your LLMs Capable of Stable Reasoning?.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Are Your LLMs Capable of Stable Reasoning?

Reference 37

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d757b751-9aee-49ee-ac71-11abbe1cfaaa · outbound

This paper cites an unresolved cited work.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:24.668795Z

Source-reported events for the cited work

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

Observation 2240ac7c-1203-4cc0-a9f0-d2e8cc087cd4 · outbound

This paper cites Trl: Transformer reinforcement learning.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Trl: Transformer reinforcement learning

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.653824Z

Source-reported events for the cited work

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

Observation 1d28cdb5-0303-4a48-becc-69712f1a241a · outbound

This paper cites Gonzalez, Ion Stoica, and Jonathan Ragan-Kelley.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Gonzalez, Ion Stoica, and Jonathan Ragan-Kelley

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.685318Z

Source-reported events for the cited work

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

Observation 727f9d0b-9325-41f1-8d84-edcf880afdfd · outbound

This paper cites Reasoning Models Can Be Effective Without Thinking.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Reasoning Models Can Be Effective Without Thinking

Reference 41

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fcabd66-d009-4364-8db9-c35eab76ec56 · outbound

This paper cites Experiment tracking with weights and biases.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Experiment tracking with weights and biases

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.638529Z

Source-reported events for the cited work

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

Observation 16cae3f1-d7fc-4ff5-8c3d-900c5ac2a55b · outbound

This paper cites fast thinking.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier fast thinking

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.622777Z

Source-reported events for the cited work

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

Observation 96835ad0-5b86-4e2e-9ec7-d7231d59e1d1 · outbound

This paper cites hmm", "let me verify.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier hmm", "let me verify

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:24.607754Z

Source-reported events for the cited work

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

Observation 5e10d34b-3471-449e-abe9-cf9fac8559e1 · outbound

This paper cites an unresolved cited work.

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier Unresolved cited work

Reference 2025

Resolution: parse uncertain; raw_fallback, observed 2026-08-15T20:49:24.956631Z

Source-reported events for the cited work

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

Pith citing papers

Observation 20dcab79-a8fd-40b6-9782-f86d51605ec3 · inbound

Verify, Repair, Repeat, or Stop? Robust Stopping for Noisy Verify-Repair Loops in LLM Agents cites this paper.

Verify, Repair, Repeat, or Stop? Robust Stopping for Noisy Verify-Repair Loops in LLM Agents Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T17:29:37.089302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.