@inproceedings{heakl-etal-2025-guaranteed, title = "Guaranteed Guess: A Language Modeling Approach for {CISC}-to-{RISC} Transpilation with Testing Guarantees", author = "Heakl, Ahmed and Hashmi, Sarim and Abi, Chaimaa and Lee, Celine and Mahmoud, Abdulrahman", editor = "Christodoulopoulos, Christos and Chakraborty, Tanmoy and Rose, Carolyn and Peng, Violet", booktitle = "Findings of the Association for Computational Linguistics: EMNLP 2025", month = nov, year = "2025", address = "Suzhou, China", publisher = "Association for Computational Linguistics", url = "https://preview.aclanthology.org/name-variant-enfa-fane/2025.findings-emnlp.1330/", doi = "10.18653/v1/2025.findings-emnlp.1330", pages = "24474--24488", ISBN = "979-8-89176-335-7" }