In order to determine the effect of various components of our system on its overall performance, we perform the following ablations: No Local Model: Here, we test our method absent the local information (Section 7.1).
we generate equations using all ILP constraints, and score trees solely on information provided by the global model: No Global Model: Here, we test our method without the global information (Section 7.2).