AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and ValidationAli Reza IbrahimzadaKaiyao Yeet al.2025FSE 2025