automatic-differentiation

Differentiating set projections.

The Pandora box from simple set membership.

What can automated gradient computations bring to mathematical optimizers, what does it take to compute?