> We build an AI-based model of each intersection, including its structure, traffic patterns (such as patterns of starting and stopping), light scheduling, and how traffic and the light schedules interact, and then we also build a model of the interaction between traffic lights. Based on this model, we develop AI-based optimizations and then provide recommendations to city engineers via the Green Light interface. As an example, we might identify an opportunity to coordinate between intersections that are not yet synced and provide a recommendation around the timing of the traffic lights so that traffic flows more effectively along a stretch of road.