Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions

FSE 2025 paper introducing Soft Assertions to detect and trigger numerical instability bugs in ML applications.