Research Projects

Embedding mathematical expressions

Embedding mathematical expressions

Vector-based embedding of mathematical equations

Read more »
Mathematical knowledge maps

Mathematical knowledge maps

Viewing technical data through a new data modlaity

Read more »

Mathematical token classification

Extracting definitions for mathematical tokens

Read more »

Language Identification

The anatomy of the language identification problem applied to African-American Vernacular English

Read more »
Mathematical Corpus Generation

Mathematical Corpus Generation

Building corpora for mathmeatical neural networks

Read more »
Mathematical token definition extraction (aka identifier definition extraction)

Mathematical token definition extraction (aka identifier definition extraction)

Extracting definitions for mathematical tokens

Read more »
NL4Opt Challenge (NIPS 2022)

NL4Opt Challenge (NIPS 2022)

Task 2, 1st place winner! Take a natural language optimization-problem description and output a precise mathematical formulation.

Read more »