@misc{indiciae4dbfbeb1d930,
  title = {Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs},
  author = {Matthew Britton and Sasha Pak and Alex Potanin},
  year = {2026},
  url = {https://arxiv.org/abs/2601.19207},
  note = {Source identifier: 2601.19207}
}