{"id":"arxiv/2605.04232","url":"https://arxiv.org/abs/2605.04232","tags":["cs.LO","cs.PL","math.NA"],"score":0,"title":"Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities","domain":"cs.LO","source":"arxiv","authors":["Yichen Tao","Hongfei Fu","Jiawei Chen","Jean-Baptiste Jeannin"],"reviews":0,"subject":"cs.LO","summary":"Floating-point round-off errors are ubiquitous in numerically intensive programs arising in fields such as scientific computing and optimization. As floating-point errors potentially lead to unexpected and catastrophic program failures, one must derive guaranteed round-off thresholds to ensure the correctness of these programs. However, deterministic round-off thresholds tend to be too conservative to be usable in practice, since they often involve large round-off errors that occur with small probability. Probabilistic thresholds relax deterministic ones by specifying that the probability of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-05","reactions":{}}