Fine-Tuning BERTs for Definition Extraction from Mathematical Text. - Lucy Horowitz; Ryan Hathaway (CoRR, 2024)