TY  - RPRT
TI  - Antiproof: Synthesizing Vulnerability Detectors and Proofs of Exploitability
AU  - Alon Shakevsky
AU  - Corban Villa
AU  - Ion Stoica
AU  - Raluca Ada Popa
PY  - 2026
UR  - https://arxiv.org/abs/2607.12316
ID  - 2607.12316
ER  -