These practical issues make it difficult to use the crawled equations for explicit supervision directly.
the reason is that in both Implicit and Pseudo settings, the algorithm needs to select one from many derivations that match the labeled solutions, and use the selected derivation to update the model.