Assessing the Ability to Read and Interpret Mathematical Definitions: Insights from INSTm | IEEE Conference Publication | IEEE Xplore