[2402.01473] On approximate implicit Taylor methods for ordinary differential equations