Implementing geometric complexity theory: on the separation of orbit closures via symmetries. - Christian Ikenmeyer; Umangathan Kandasamy (STOC, 2020)