The 2019 CROHME + TFD Competition is underway! The competition is being held as part of the ICDAR 2019 conference. Please check out the competition web pages and consider participating.
(April) Congratulations to Wei Zhong, who received the Best Applications Paper Award at ECIR 2019! His paper. "Structural Similarity Search for Formulas using Leaf-Root Paths in Operator Subtrees" can be found here.
(April) Congratulations to Puneeth Kukkadapu, who has received the TSO Logic Master's Student Scholarship from the Department of Computer Science.
(April) The SymbolScraper Apache PDFBox extension for obtaining precise symbol locations and identities has been released!
(Mar) The MathSeer project web pages are now live.
(Mar) Congratulations to Behrooz Mansouri, whose paper "Toward Math-Enabled Digital Libraries: Characterizing Searches for Mathematical Concepts" has been accepted for publication at JCDL 2019, which will be held at the University of Illinois Urbana-Champaign. The paper presents the first search log analysis of math search behaviors in a general-purpose search engine (Parsijoo, from Iran).
(Mar) Congratulations to Parag Mali, who has secured a full-time Software Engineer position with the Microsoft AI and Ink group in Seattle!