The Mathematical Language Processing Group at the University of Illinois at Urbana-Champaign does langauge processing research on unique data modalities with a focus on mathematical/technical content. We focus on solving real-world language processing tasks such as information retrieval and text comprehension/generation using a variety of computing techniques (machine learning, novel algorithmic methods, formal verification methods, etc.).
Vector-based embedding of mathematical equations
Viewing technical data through a new data modlaity
Extracting definitions for mathematical tokens
The anatomy of the language identification problem applied to African-American Vernacular English
Building corpora for mathmeatical neural networks