TY  - RPRT
TI  - When Verification Is Not Agreement: Cross-Agent LLM-to-Dafny Formalization
AU  - Priyanath Maji
PY  - 2026
UR  - https://arxiv.org/abs/2611.07073
ID  - 2611.07073
ER  -