Gallia (gallium oxide) has been proved to enhance the performance of metal catalysts in a variety of catalytic reactions involving methanol, CO and H₂. The presence of formate species as key intermediates in some of these reactions has been reported, although their role is still a matter of debate. In this work, a combined theoretical and experimental approach has been carried out in order to characterize the formation of such formate species over the gallium oxide surface. Infrared spectroscopy experiments of CO adsorption over H₂ (or D₂) pretreated β-Ga₂O₃ revealed the formation of several formate species. The β-Ga₂O₃ (100) surface was modelled by means of periodic DFT calculations. The stability of said species and their vibrational mode assignments are discussed together with the formate interconversion barriers. A possible mechanism is proposed based on the experimental and theoretical results: first CO inserts into surface (monocoordinate) hydroxyl groups leading to monocoordinate formate; this species might evolve to the thermodynamically most stable dicoordinate formate, or might transfer hydrogen to the surface oxidizing to CO₂ creating an oxygen vacancy and a hydride group. The barrier for the first step, CO insertion, is calculated to be significantly higher than that of the monocoordinate formate conversion steps. Monocoordinate formates are thus short-lived intermediates playing a key role in the CO oxidation reaction, while bidentate formates are mainly spectators.