@misc{indiciae840602353cd6,
  title = {Verified Linear Programming through Tolerance-Aware Precision Boosting},
  author = {Ernesto Casablanca and Martin Sidaway and Paolo Zuliani and Sadegh Soudjani},
  year = {2026},
  url = {https://arxiv.org/abs/2609.11721},
  note = {Source identifier: 2609.11721}
}