Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions. - Shaila Sharmin; Anwar Hossain Zahid; Subhankar Bhattacharjee; Chiamaka Igwilo; Miryung Kim; Wei Le (Proc. ACM Softw. Eng., 2025)