TY  - RPRT
TI  - Tunable Automation in Automated Program Verification
AU  - Alexander Y. Bai
AU  - Chris Hawblitzel
AU  - Andrea Lattuada
PY  - 2025
UR  - https://arxiv.org/abs/2512.03926
ID  - 2512.03926
ER  -