TY  - RPRT
TI  - Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification
AU  - Yiannis Charalambous
AU  - Rafael Menezes
AU  - Youcheng Sun
AU  - Lucas C. Cordeiro
PY  - 2026
UR  - https://arxiv.org/abs/2607.10291
ID  - 2607.10291
ER  -