Finally, ALGES uses discriminative models to score each candidate equation, using both local and global features (Section 7).
the recursive nature of our representation allows us to decompose the likelihood function p(t, w) into local scoring functions for each in- 3 Inspired by Semantically Augmented Parse Trees (Ge and Mooney, 2005) adapted to equational logic.