Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities

Yichen Tao, Hongfei Fu, Jiawei Chen, Jean-Baptiste Jeannin

arXivarxiv/2605.04232May 5, 2026cs.LOscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2605.04232
curl -X POST /api/v1/records/arxiv/2605.04232/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.04232/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'