Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs. - Matthew Britton; Sasha Pak; Alex Potanin (CoRR, 2026)