TY  - RPRT
TI  - Counterexample-Guided Interval Weakening
AU  - Ben M. Andrew
AU  - Louise A. Dennis
AU  - Michael Fisher
AU  - Marie Farrell
PY  - 2026
UR  - https://arxiv.org/abs/2604.24540
ID  - 2604.24540
ER  -