most citedInput Validation for Neural Networks via Runtime Local Robustness Verification

9 citations · 9 across the 1 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

Taylor-Approximation-Based Repair of High Floating-Point Errors

Xin Yi, Liqian Chen, Hengbiao Yu +5

Numerical libraries can still lose many bits of accuracy on localized ill-conditioned inputs, such as roots, poles, cancellation points, and branch boundaries. This paper presents…