TY  - RPRT
TI  - A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
AU  - Natalia Klaus
AU  - Juan Conejero
AU  - Palina Tolmach
PY  - 2026
UR  - https://arxiv.org/abs/2605.30106
ID  - 2605.30106
ER  -