Lately we are focused on the recognition and retrieval of mathematical notation for the MathSeer project. This includes our innovative MathDeck search interface based on a chips-and-cards metaphor taken from board games (Note: MathDeck is best with Google Chrome). Currently we are also running the first ARQMath task on math-aware search at CLEF 2020.
Example projects can be found on the Projects page. Pages with our publications by topic (with PDFs), software, and data are also available.