@misc{indiciaebdb5328c62f6,
  title = {Counterexample-Guided Interval Weakening},
  author = {Ben M. Andrew and Louise A. Dennis and Michael Fisher and Marie Farrell},
  year = {2026},
  url = {https://arxiv.org/abs/2604.24540},
  note = {Source identifier: 2604.24540}
}