Designing the distance function The key consideration in the compilation step is the choice of an appropriate distance function for logical statements.
the ideal distance function we seek is the indicator for the statement Z: since the function d ideal is not differentiable, we need smooth surrogates.