Toggle navigation sidebar
Toggle in-page Table of Contents
Understanding Simple Differentiable Programming
Exploring Differentiable Programming
The Simple Problem
Using JAX
Gradient Descent
Cut Implementations
Using a ML-like Loss Function
Handling Simple Predicate Push-down
Looking for the Signal with a NN
Adding a cut in front of an NN
repository
open issue
Index