To achieve climate goals by 2050, accurate energy system optimization (MIP) models are needed to help decision-makers make investment plans. To increase accuracy, a high resolution in the temporal and spatial dimensions is needed, as well as many details on the operational capabilities of energy generators. However, this results in large-scale models that do not scale well. Thus, researchers often seek the right trade-off between computational tractability and accuracy. Here, we present a tighter formulation for optimal storage operation and investment problems, including reserves, along with the methodology we used to obtain it, based on the work of [2]. Additionally, we present some preliminary work aiming to provide tight and compact unit commitment models with different levels of detail. These models can be included in large-scale energy system optimization models to increase model accuracy while keeping the models computationally tractable.