One of my colleagues, Richard Zanibbi, leads the Document and Pattern Recognition Lab[0] here at the Rochester Institute of Technology. They're doing a lot of interesting work on formula recognition and search.
I just finish looking into their projects. They are very promising. I don't why they don't try to engage with OOS community. They can get their models used in a manner that can help many people and will open many ways to use their work.
[0] https://www.cs.rit.edu/~dprl/