Depending on the available validation function V (as defined in Section 4.2), we can also accurately prune the beam for the computation of the first half of the gradient.
when assuming access to labeled equations, we can constrain the search to consider only partial hypotheses that could possibly be completed to produce the labeled equations.