Definition
A math result that lets you compute how an answer would shift without re-running all the steps that produced it.
A calculus theorem providing conditions under which an implicit equation defines a function locally; in iterative inference, it allows gradient computation through a fixed point without backpropagating through the iterations.
Also called: implicit differentiation, implicit gradient, implicit gradients