1 paper · 1 filter
Haocheng Ju, Bin Dong
Mathematical Information Retrieval (MIR) is the task of retrieving information from mathematical documents and plays a key role in various applications, including theorem search in…