Beryllium: Neural Search for Algorithm Implementations. - Adithya Kulkarni; Mohna Chakraborty; Yonas Sium; Sai Charishma Valluri; Wei Le; Qi Li 012 (CoRR, 2023)