1 paper · 2 filters
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…