Using q-learning to select the best among functionally equivalent implementations. - Meggie van den Oever; Lauren E. Grimley; Richard Michael Veras (ARRAY@PLDI, 2022)