Title: The homotopy theory of coherently commutative monoidal quasi-categories

Abstract: The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those coCartesian fibrations which are known as symmetric monoidal quasi-categories in the literature. We show that a higher Grothendieck construction functor is a left-Quillen functor of a Quillen equivalence between the two model categories.