Aleksandra Bakalova: Discovering Interpretable Algorithms by Decompiling Transformers to RASP