Mathematics arises from the interaction of two dissimilar modes of reasoning: a â€˜softâ€™ side, dealing with ideas and analogies, and a â€˜hardâ€™ side, dealing with verification. The â€˜hardâ€™ side is easierâ€¦ (More)

Some words are more contentful than others: for instance, make is intuitively more general than produce and fifteen is more â€˜preciseâ€™ than a group. In this paper, we propose to measure the â€˜semanticâ€¦ (More)

The goal of this paper is to consider the mathematical operations proposed in the literature for composing distributional vectors using mixture models, and assess their linguistic plausibility byâ€¦ (More)

The work presented here is part of a long-term joint project (with Thomas Barnet-Lamb) to construct programs which 'understand' mathematics well enough to be useful to mathematicians. The simplest toâ€¦ (More)