Coderivative-Based Newton Methods with Wolfe Linesearch for Nonsmooth Optimization | Synapse