@misc{indiciaef15a71372e0b,
  title = {Combining Mechanical and Agentic Specification Inference for Move},
  author = {Wolfgang Grieskamp and Teng Zhang and Vineeth Kashyap},
  year = {2026},
  url = {https://arxiv.org/abs/2605.10005},
  note = {Source identifier: 2605.10005}
}