@misc{indiciae95372a82afda,
  title = {A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report},
  author = {Natalia Klaus and Juan Conejero and Palina Tolmach},
  year = {2026},
  url = {https://arxiv.org/abs/2605.30106},
  note = {Source identifier: 2605.30106}
}