Collaborations between Justin Krish and Raphaël Coleman