A Robust Random Search Approach for Matching Formulas in Math Information Retrieval Systems. - Megan Shellman; Kate Hill; Yiu-Kai Ng (ICTAI, 2024)