TY  - RPRT
TI  - Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
AU  - Changjie Wang
AU  - Mariano Scazzariello
AU  - Anoud Alshnakat
AU  - Roberto Guanciale
AU  - Dejan Kostić
AU  - Marco Chiesa
PY  - 2025
UR  - https://arxiv.org/abs/2510.25406
ID  - 2510.25406
ER  -