Most of these features depend on typographical information that is vital in performance of the axiom identification component as well as the overall model.
we can observe that the axiom, theorem, corollary annotation, and bounding box features contribute most to the performance of the model as they are direct indicators of the presence of an axiom mention.