amp templates



  • (June) Behrooz Mansouri's JCDL 2019 paper, Characterizing Searches for Mathematical Concepts was nominated for a Best Paper award.
  • (May) We welcome Thomas Lazore to the project. Thomas will be working as an intern during Summer 2019. Thomas is currently a student at Monroe Community College in Rochester.
  • (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) A new version of Tangent-v for formula search in images has been released. This system (along with SymbolScraper, below) is being presented at ECIR 2019 this month. Search results from the paper are included in the package.
  • (April) Our SymbolScraper tool for extracting precise symbol locations and idenitries in born-digital PDF files has been released. The system was first developed by Ritvik Joshi, and then refined by Parag Mali, Puneeth Kukadapu and Mahshad Mahdavi.
  • (Mar) Congratulations to Parag Mali, who will begin working with the Microsoft AI and Ink group in Seattle this fall.
  • (Mar) Prof. Zanibbi will be teaching a new Information Retrieval course in the Computer Science Department at RIT in the fall.
  • (Feb) The new Approach0 formula search engine by Wei Zhong has been released. 
  • (Jan) The CROHME + TFD 2019 handwritten formula recognition and typeset formula detection competition being held as part of ICDAR 2019 is underway. Mahshad Mahdavi is the lead organizer. Please consider participating!
  • (Jan) Congratulations to Mahshad Mahdavi, who will be interning at Apple in Cupertino this summer.
  • (Jan) We welcome Gavin Nishizawa and Yancarlos Diaz, who will be working as research programmers during the spring.


  • (Sep) We welcome Shaurya Rohatgi to the project. Shaurya has been doing work on auto-completion for search queries containing math since the Spring, and will extend this work for his PhD.
  • (Aug) We welcome Behrooz Mansouri to the project, who will be working on math-aware search engines for his PhD research. He is being co-advised by Profs. Zanibbi and Oard.
  • (Aug) Kenny Davila and Prof. Zanibbi received the Best Paper award at the ICFHR 2018 conference for their paper, "Visual Search Engine for Handwritten and Typeset Math in Lecture Videos and LaTeX Notes.
  • (Aug) Mahshad Mahdavi and Prof. Zanibbi attend the ICFHR 2018 conference in Niagara Falls, NY. Prof. Zanibbi is a General Co-Chair for the conference.
  • (July) Wei Zhong and Prof. Zanibbi attend SIGIR 2018, held in Ann Arbor, Michigan. A poster by Behrooz Mansouri was presented by Prof. Zanibbi at the conference.
  • (July) Tangent-v, Kenny Davila's visual graphics search engine has been released. Kenny has succesfully applied the system to recognizing formulas in raster images, formulas in PDF images, and even searching lecture videos for formulas in rendered LaTeX images.
  • (June) The RIT and PennState groups met for a couple of days at PennState. This was the first face-to-face meeting between the groups. We plan to hold our next face-to-face meeting at RIT next summer.
  • (May) Congratulations to Ritvik Joshi, who has accepted a position with Petuum Corporation in Pittsburgh.
  • (Feb) Congratulations to Puneeth Kukkadapu and Parag Mali, who have secured internships at Apple in Cupertino this summer.
  • (Jan) We welcome Puneeth Kukkadapu and Parag Mali to the project, who will be working as part-time Research Assistants for the project during the spring.


  • (Dec) The NSF Foundation has funded a companion grant to our Sloan project! Congratulations to Profs. Zanibbi, Agarwal, Oard, and Giles.
  • (Dec) Congratulations to Xuan Huang, who has secured a summer internship at Facebook.
  • (Nov) Prof. Zanibbi attends ICDAR 2017 and the GREC 2017 workshop in Kyoto, Japan.
  • (Sep) The first meeting of the Advisory Board and project leaders was held. 
  • (Aug) We give a warm welcome to Mahshad Mahdavi (PhD student, Imaging Science) and Wei Zhong (PhD Student, Computing and Information Sciences) who will be joining the project at RIT, working on math notation recognition and retrieval, respectively. We also welcome MSc students Ritvik Joshi, Rahul Dashora, and Xuan Huang. 
  • (June) The Sloan Foundation has funded our math-aware search project! 

MathSeer is supported by the Alfred P. Sloan Foundation and the National Science Foundation