On the differentiability check in gradient sampling methods - Helou, Elias Salomão; Santos, Sandra A; Simões, Lucas E. A (Optimization Methods and Software, 2016)