The formation was first defined by Bailey, Smith, and Ross in 1969 as part of their work establishing the stratigraphy of the Jemez Mountains. The formation was named for exposures near Cochiti Pueblo.