This theory underlies our algorithmic solution -we develop classifiers and a constrained inference approach that exploits redundancy in the information, and show that this yields strong performance on several benchmark collections.
our approach achieves state of the art performance on two publicly available arithmetic problem datasets and can support natural generalizations.