Hi @Sil, just wondering do you have any connection with Masaryk University (MIRMU)? I may be just guessing since this University has a research group doing math search as well, and it is in Czech Republic.
@WeiZhong Actually I have graduated there 10 years ago, but I no longer have too much connection to it (except access to the information system). I've never heard of MIRMU though, but it seems it is done on faculty of informatics and I've studied on faculty of science, so that's probably why.
However I would say that it is one of two most prominent schools in the country when it comes to math/IT, so it doesn't suprise me they have such research group :)
I've looked at the names in this group and found some interesting papers, for example this master thesis from 2018 has something to do with math aware search over arxiv: is.muni.cz/th/m0pc5/thesis.pdf (should be publicly visible)
