TY - RPRT TI - Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees AU - Ahmed Heakl AU - Sarim Hashmi AU - Chaimaa Abi AU - Celine Lee AU - Abdulrahman Mahmoud PY - 2025 UR - https://arxiv.org/abs/2506.14606 ID - 2506.14606 ER -