Neural-guidance for symbolic reasoning