5 papers
A Mathematics-Guided Approach to Floating-Point Error Detection
Youshuai Tan, Zhanwei Zhang, Zishuo Ding +3
Floating-point program errors can lead to severe consequences, particularly in critical domains such as military applications. Only a small subset of inputs may induce substantial…
Computing Floating-Point Errors by Injecting Perturbations
Youshuai Tan, Zhanwei Zhang, Jinfu Chen +3
Floating-point programs form the foundation of modern science and engineering, providing the essential computational framework for a wide range of applications, such as safety-crit…
Efficient Reasoning Through Suppression of Self-Affirmation Reflections in Large Reasoning Models
Kaiyuan Liu, Chen Shen, Zhanwei Zhang +3
While recent advances in large reasoning models have demonstrated remarkable performance, efficient reasoning remains critical due to the rapid growth of output length. Existing op…
DELA: A Novel Approach for Detecting Errors Induced by Large Atomic Condition Numbers
Youshuai Tan, Zhanwei Zhang, Jinfu Chen +3
Numerical programs form the foundation of modern science and engineering, providing essential solutions to complex mathematical problems. Therefore, errors in numerical results wou…
Large Language Models Based JSON Parser Fuzzing for Bug Discovery and Behavioral Analysis
Zhiyuan Zhong, Zhezhen Cao, Zhanwei Zhang
Fuzzing has been incredibly successful in uncovering bugs and vulnerabilities across diverse software systems. JSON parsers play a vital role in modern software development, and en…