Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces Hindsight Hierarchies, a self-improvement loop for training reasoning models by leveraging hindsight from supplied solutions. The method jointly trains a model to predict solution ideas from problems, reverse-engineer ideas from problems and solutions, and solve problems using provided ideas. The loop iteratively refines these capabilities by generating and utilizing reverse-engineered ideas as supervision, aiming to enhance reasoning abilities even when initial problem-solving capacity is insufficient.
Reasoning models can learn to plan by reverse-engineering solution ideas from hindsight, even when initially unable to solve the problem.
We introduce a self-improvement loop for reasoning models based on the following observation: Even when the difficulty of a problem exceeds the model's current solving abilities, an additionally supplied solution might enable the model to extract useful solution ideas in hindsight. We operationalize this by jointly training the same model to exhibit the following three capabilities: predicting solution ideas from problems alone, reverse-engineering ideas from problems and known solutions, and solving problems using provided ideas. The loop alternates between reverse engineering such ideas from problems with supplied solutions and using these ideas as additional supervision for joint training of all three capabilities. We give a formal specification of our method and a concrete instantiation for interactive theorem proving in the Lean theorem prover; empirical evaluation remains future work.