this is interesting. have you leveraged gpt3 for this previously? do you expect any advantages with the updated model?
More importantly, the set of formulas we support are not always one to one with Excel. We try to keep them the same but sometimes improvements and additions are needed. So we have to feed in a pretty complex prompt with a bunch of context (like source and destination types, schemas, validations etc.). With GPT4, we can do this with less explanations and higher accuracy.