On the Finite-Time Complexity and Practical Computation of Approximate Stationarity Concepts of Lipschitz Functions - Lai Tian; Kaiwen Zhou; Anthony Man-Cho So (2021)