Searching protocol for "backward-reasoning"
Backward reasoning to derive required truths.
Trace bugs to their source with backward reasoning.
Bayesian reasoning agents for hypotheses.
Generate detailed implementation plans.
Surface all constraints before you build.
Turn goals into steps with backward reasoning.
Generate proof skeletons for theorem provers.