TY  - RPRT
TI  - &inator: Correct, Precise C-to-Rust Interface Translation
AU  - Victor Chen
AU  - Ayden Coughlin
AU  - Michael D. Bond
PY  - 2026
UR  - https://arxiv.org/abs/2604.17261
ID  - 2604.17261
ER  -