#ModelFunctional correctnessPaper
1Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees49.00link
2Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees49.00β€”