1Cademy - Solution as a Sequence of Reasoning Steps

Learn Before

Predict-then-Verify Approaches in LLM Reasoning
Supervising Intermediate Reasoning Steps for LLM Alignment

Formula

Solution as a Sequence of Reasoning Steps

For a given input in a reasoning task, the generated solution ${}\mathbf{y}$ can be formalized as a sequence of intermediate reasoning steps, expressed mathematically as ${}\mathbf{y} = \{\bar{\mathbf{y}}_1,...,\bar{\mathbf{y}}_{n_s}\}$. The actual conclusion of the reasoning process is assumed to be located in the final step,$ {}\bar{\mathbf{y}}_{n_s}$$, which can then be easily verified for correctness.