Hi,
We don’t have one rule of where the backward formulas are defined. Most of them are defined in this file 7 and all the corresponding code is generated automatically.
For F.interpolate(), there is not one definition as it is implemented as one of many functions. You can check the interpolate implementation here to see which function is used in your case, and what is its backward.