Automated Discovery of Mathematical Definitions in Text. - Natalia Vanetik; Marina Litvak; Sergey Shevchuk; Lior Reznik (LREC, 2020)

Automated Discovery of Mathematical Definitions in Text with Deep Neural Networks. - Natalia Vanetik; Marina Litvak; Sergey Shevchuk; Lior Reznik (CoRR, 2020)