The authors report F 1 scores of 23.9% and 56.6% for their definition extraction methods.
we assign meaning exclusively to variables, using denotations from a pre-computed dictionary of mathematical types, rather than freeform text.