Provably correct automatic subdifferentiation for qualified programs

Mathematics

• Black Box 50%
• Computational Cost 100%
• Loss Function 50%
• Main Result 50%
• Scalar Function 50%
• Subgradient 50%
• Valued Function 50%

Engineering

• Black Box 50%
• Computational Cost 100%
• Loss Function 50%
• Main Result 50%
• Optimisation Procedure 50%
• Subgradient 50%

Keyphrases

• Free Factor 33%
• Griewank 33%
• Subderivative 100%
• Subdifferentiation 100%