DTSemNet Oblique decision trees, trained like neural networks
An exact, approximation-free encoding of oblique decision trees as neural networks, so trees train end-to-end with vanilla gradient descent. The resulting tree policies are interpretable and amenable to formal safety verification.