In battery manufacturing, the formation process is both paramount and problematic. It is paramount since all batteries undergo formation charging and aging steps to build a resilient solid electrolyte interphase (SEI) and to screen for defects. It is problematic because the formation process is expensive to operate, remains a major source of factory energy demand, requires larger factory footprints, and takes an order of magnitude longer than nearly every other manufacturing step. Despite the centrality of the formation process in battery manufacturing, steps taken to optimizing formation protocols remain ad-hoc in the absence of design principles and physical models.We highlight recent progress in developing a principled understanding of the SEI formation process applied towards industrial battery formation process (i.e. in the context of a full cell). We review a reduced-order electrochemical model of the formation process that captures first cycle charge dynamics and subsequent cycling and aging degradation behavior [1]. The model predicts measurable quantities such as first cycle efficiency (FCE) and irreversible thickness growth under multiple formation protocols. We discuss opportunities to integrate the electrochemical formation model with differential voltage analysis (DVA) to visualize the connection between first cycle charge dynamics from the perspective of shifting electrode stoichiometries [2] and comment on applications towards physics-informed battery lifetime prediction [3]. We finally share recent data elucidating the effect of formation temperature, pressure, and protocol on cycle life.