Mathematical Justification of Hard Negative Mining via Isometric Approximation Theorem - Xu, Albert; Hsieh, Jhih-Yi; Vundurthy, Bhaskar; Kemp, Nithya; Cohen, Eliana; Li, Lu; Choset, Howie (International Conference on Learning Representations, 2024)