@misc{indiciae8ae33cf3ef15,
  title = {HarnessLLM: Rust Verification Harness Generation with Large Language Models},
  author = {Minghua Wang and Yuwei Liu and Lin Huang},
  year = {2026},
  url = {https://arxiv.org/abs/2607.22161},
  note = {Source identifier: 2607.22161}
}