Collaborations between Rémi Boubal and Hayato Isomura