@misc{indiciae9629b594e193,
  title = {Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought},
  author = {Zichen Xie and Wenxi Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2603.18334},
  note = {Source identifier: 2603.18334}
}