How many movies have Robin de Jesús and Stephen Sondheim collaborated on?

They have worked on 2 movies together! Their first movie together was Camp (2003) while their highest rated movie together was tick, tick... BOOM! (2021). They have not worked together since tick, tick... BOOM! (2021).