Towards Semantic Markup of Mathematical Documents via User Interaction. - Luka Vrecar; Joe B. Wells; Fairouz Kamareddine (CICM, 2024)