Our paper “When AllClose Fails: Round-Off Error Estimation for Deep Learning Programs” has been accepted by ASE 2025.