TY - RPRT TI - Automated Discovery of Mathematical Definitions in Text with Deep Neural Networks AU - Natalia Vanetik AU - Marina Litvak AU - Sergey Shevchuk AU - Lior Reznik PY - 2020 UR - https://arxiv.org/abs/2011.04521 ID - 2011.04521 ER -