TY  - RPRT
TI  - Combining Mechanical and Agentic Specification Inference for Move
AU  - Wolfgang Grieskamp
AU  - Teng Zhang
AU  - Vineeth Kashyap
PY  - 2026
UR  - https://arxiv.org/abs/2605.10005
ID  - 2605.10005
ER  -