9 citations · 9 across the 1 of their papers we have counts for
2 papers
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…
cs.LG2020★ 9 cited
Input Validation for Neural Networks via Runtime Local Robustness Verification
Jiangchao Liu, Liqian Chen, Antoine Mine +1
Local robustness verification can verify that a neural network is robust wrt. any perturbation to a specific input within a certain distance. We call this distance Robustness Radiu…