2 citations · 2 across the 2 of their papers we have counts for
3 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.LG2018
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel
Chengdong Feng, Zhenbang Chen, Weijiang Hong +3
Deep Neural Network (DNN) is a widely used deep learning technique. How to ensure the safety of DNN-based system is a critical problem for the research and application of DNN. Robu…
cs.PL2018★ 2 cited
Combining Symbolic Execution and Model Checking to Verify MPI Programs
Hengbiao Yu, Zhenbang Chen, Xianjin Fu +5
Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the comple…