A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report. - Natalia Klaus; Palina Tolmach; Juan Conejero (CoRR, 2026)