TY  - RPRT
TI  - PROGRESS: Property-Guided Regression Search for Semantic Falsification
AU  - Davis Tocheuk Mo
AU  - Noshin Ulfat
AU  - Matthew B. Dwyer
AU  - Soneya Binta Hossain
PY  - 2026
UR  - https://arxiv.org/abs/2607.27359
ID  - 2607.27359
ER  -