Process supervision: open-access research

Journal article

The Allowance Is Doing the Work: Constructed Premises in Chain-of-Thought Step Verification, What Formal Validity Still Certifies Once They Are Permitted, and the Dependence Test Argumentation Runs and Step Verification Does Not

Pranay Mahendrakar 2026

A verifier that checks the steps of a chain of thought cannot demand that each step state everything it relies on, because no real step does. Every published step verifier therefore permits a class of premises that the text does not contain: the 2023 system that introduced step-wise deductive…

Cite Related research LOR-00023 · 5 views · 5 downloads

PDF587.4 KB

Journal article

A Step Score Is Not a Step Verdict: Three Quantities Under the Name Process Supervision, and the Outcome-Only Results That Make the Distinction Load-Bearing

Pranay M. Mahendrakar 2026

Process reward models are introduced, almost without exception, as models that score whether an individual reasoning step is correct. This paper argues that the phrase "process supervision" is currently attached to three different target quantities, that the dominant scalable label defines the…

Cite Related research LOR-00071 · 5 views · 18 downloads

PDF444.5 KB

Journal article

A Step Score Is Not a Step Verdict: Three Quantities Under the Name Process Supervision, and the Outcome-Only Results That Make the Distinction Load-Bearing

Pranay M. Mahendrakar 2026

Process reward models are introduced, almost without exception, as models that score whether an individual reasoning step is correct. This paper argues that the phrase "process supervision" is currently attached to three different target quantities, that the dominant scalable label defines the…

Cite Related research LOR-00039 · 6 views · 10 downloads

PDF441.6 KB

3 records

The Allowance Is Doing the Work: Constructed Premises in Chain-of-Thought Step Verification, What Formal Validity Still Certifies Once They Are Permitted, and the Dependence Test Argumentation Runs and Step Verification Does Not

A Step Score Is Not a Step Verdict: Three Quantities Under the Name Process Supervision, and the Outcome-Only Results That Make the Distinction Load-Bearing

A Step Score Is Not a Step Verdict: Three Quantities Under the Name Process Supervision, and the Outcome-Only Results That Make the Distinction Load-Bearing