### “Discovery” of GloVe Model

In the original GlOve paper, the authors discuss group theory when coming up with Equation (4). Is it possible that the authors came up with this model, figured out it was good, and then later found out various group theory justifications that justified it? Or was it discovered sequentially as it is described in the…