Noise to the Rescue: Escaping Local Minima in Neurosymbolic Local Search